Theorem modelWithCornersEuclideanQuadrant_zero

Modification history

2026-10-19 03:53
Mathlib/Geometry/Manifold/Instances/Real.lean
chore(Geometry/Manifold): missing lemmas about quadrants (#44352) …
Added modelWithCornersEuclideanQuadrant_zeroView on Github →