Def CategoryTheory.Groupoid.invFunctor

Modification history

2026-07-15 16:59
Mathlib/CategoryTheory/Groupoid.lean
chore: delete deprecated declarations to the end of 2025 (#41178) …
Deleted CategoryTheory.Groupoid.invFunctorView on Github →
2025-12-31 15:12
Mathlib/CategoryTheory/Groupoid.lean
chore(CategoryTheory/Groupoid): replace `Groupoid.invFunctor` by `Groupoid.invEquivalence` (#33432) …
Added CategoryTheory.Groupoid.invFunctorView on Github →