Theorem ContMDiff.inv

Modification history

2026-03-05 11:23

Mathlib/Geometry/Manifold/Algebra/LieGroup.lean

chore(Geometry/Manifold/Algebra): golf using custom elaborators (#36007)

Modified ContMDiff.inv View on Github →

2023-06-24 19:21

Mathlib/Geometry/Manifold/Algebra/LieGroup.lean

feat: port Geometry.Manifold.Algebra.LieGroup (#5439)

Added ContMDiff.inv View on Github →