Def CategoryTheory.Groupoid.ofHomUnique

Modification history

2023-07-26 17:00
Mathlib/CategoryTheory/Groupoid.lean
chore: tidy various files (#5999)
Modified CategoryTheory.Groupoid.ofHomUniqueView on Github →
2023-02-15 08:00
Mathlib/CategoryTheory/Groupoid.lean
feat: port CategoryTheory.Groupoid (#2282)
Added CategoryTheory.Groupoid.ofHomUniqueView on Github →