Structure CategoryTheory.Subgroupoid.IsWide

Modification history

2023-06-12 15:16

Mathlib/CategoryTheory/Groupoid/Subgroupoid.lean

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

Added CategoryTheory.Subgroupoid.IsWide View on Github →