Mathlib v3 is deprecated. Go to Mathlib v4

Theorem diffeomorph.trans_refl

Modification history

2021-03-15 22:29

src/geometry/manifold/diffeomorph.lean

feat(geometry/manifold/diffeomorph): expand API (#6668)

Added diffeomorph.trans_refl View on Github →