Def CategoryTheory.Groupoid.invEquiv

Modification history

2023-02-15 08:00
Mathlib/CategoryTheory/Groupoid.lean
feat: port CategoryTheory.Groupoid (#2282)
Added CategoryTheory.Groupoid.invEquivView on Github →