Theorem closure_quadrant

Modification history

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