Def CategoryTheory.Subgroupoid.full

Modification history

2023-06-12 15:16

Mathlib/CategoryTheory/Groupoid/Subgroupoid.lean

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

Added CategoryTheory.Subgroupoid.full View on Github →