Theorem modelWithCornersEuclideanQuadrant_symm_apply

Modification history

2026-08-10 13:55
Mathlib/Geometry/Manifold/Instances/Real.lean
chore: tweak API for modelWithCornersEuclideanHalfSpace (#42281) …
Added modelWithCornersEuclideanQuadrant_symm_applyView on Github →