Theorem interior_quadrant

Modification history

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