Commit 2025-12-31 15:12 7c25e874
View on Github →chore(CategoryTheory/Groupoid): replace Groupoid.invFunctor by Groupoid.invEquivalence (#33432)
The inverse functor from a groupoid to its opposite is an equivalence of categories. We replace the current
Groupoid.invFunctor by Groupoid.invEqualence which records this fact.