Def ContinuousLinearEquiv.toTransContinuousLinearEquiv

Modification history

2025-06-12 14:29

Mathlib/Geometry/Manifold/Diffeomorph.lean

chore: for models with corners, weaken `transDiffeomomorph` to `transContinuousLinearEquiv` (#25809) …

Added ContinuousLinearEquiv.toTransContinuousLinearEquiv View on Github →