Def CategoryTheory.Subgroupoid.ker

Modification history

2023-06-12 15:16

Mathlib/CategoryTheory/Groupoid/Subgroupoid.lean

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

Added CategoryTheory.Subgroupoid.ker View on Github →