Def CategoryTheory.Subgroupoid.im

Modification history

2023-06-12 15:16

Mathlib/CategoryTheory/Groupoid/Subgroupoid.lean

feat: port CategoryTheory.Groupoid.Subgroupoid (#4975)

Added CategoryTheory.Subgroupoid.im View on Github →