Formalization of the Poincaré disc model of hyperbolic geometry
scientific article; zbMATH DE number 7356967
scientific article