Def CategoryTheory.Groupoid.isoEquivHom

Modification history

2023-07-26 17:00

Mathlib/CategoryTheory/Groupoid.lean

chore: tidy various files (#5999)

Modified CategoryTheory.Groupoid.isoEquivHom View on Github →

2023-02-15 08:00

Mathlib/CategoryTheory/Groupoid.lean

feat: port CategoryTheory.Groupoid (#2282)

Added CategoryTheory.Groupoid.isoEquivHom View on Github →