Def category_theory.subgroupoid.generated_normal

Modification history