Def Path.inv

Modification history

2026-11-10 19:35
Mathlib/Topology/Path.lean
feat: use `IsApply` for `AffineMap` and `AffineIsometry` (#45599) …
Deleted Path.invView on Github →
2025-06-10 20:04
Mathlib/Topology/Path.lean
feat: add path component of the identity in a locally path connected topological group, as an open normal subgroup (#25668)
Added Path.invView on Github →