Def ModelWithCorners.ofTargetUniv

Modification history

2025-12-20 08:12
Mathlib/Geometry/Manifold/IsManifold/Basic.lean
fix: rename definitions which use underscores in their name (#33103) …
Added ModelWithCorners.ofTargetUnivView on Github →