Theorem range_euclideanQuadrant

Modification history

2024-04-06 14:26
Mathlib/Geometry/Manifold/Instances/Real.lean
chore(Geometry/Manifold): rename two lemmas using mathlib3 names (#11929) …
Added range_euclideanQuadrantView on Github →