Bisectores Todos

Författare/skapare:Markus Hohenwarter

Output of automatic theorem discovery, Generalized Steiner Lehmus Theorem (Recio, Losada, Valcarce, Montes)

Nya resurser