Bisectores Todos
- Author:
- Markus Hohenwarter
Output of automatic theorem discovery, Generalized Steiner Lehmus Theorem (Recio, Losada, Valcarce, Montes)
Output of automatic theorem discovery, Generalized Steiner Lehmus Theorem (Recio, Losada, Valcarce, Montes)