Eulero e la montagna: il teorema dei seni

Episodio 3: Formalizzazione