Negation-free and contradiction-free proof of the Steiner-Lehmus theorem
scientific article; zbMATH DE number 6848192
scientific article