Theorem CategoryTheory.Groupoid.inv_eq_inv

Modification history

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