Def CategoryTheory.Subgroupoid.comap

Modification history

2023-06-12 15:16

Mathlib/CategoryTheory/Groupoid/Subgroupoid.lean

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

Added CategoryTheory.Subgroupoid.comap View on Github →