Basic Geometric Properties of Triangles

Manuel Eberl. Basic Geometric Properties of Triangles. Archive of Formal Proofs, 2015, 2015. [doi]

Abstract

Abstract is missing.