Tarski Geometry Axioms. Part IV – Right Angle. - Coghetto, Roland; Grabowski, Adam (Formalized Mathematics, 2019)