Def CategoryTheory.Groupoid.invEquivalence

Modification history

2025-12-31 15:12

Mathlib/CategoryTheory/Groupoid.lean

chore(CategoryTheory/Groupoid): replace `Groupoid.invFunctor` by `Groupoid.invEquivalence` (#33432) …

Added CategoryTheory.Groupoid.invEquivalence View on Github →