Def ModelWithCorners.transDiffeomorph

Modification history

2023-07-03 05:30

Mathlib/Geometry/Manifold/Diffeomorph.lean

feat: port Geometry.Manifold.Diffeomorph (#5660)

Added ModelWithCorners.transDiffeomorph View on Github →