Theorem CategoryTheory.Subgroupoid.generated_le_generatedNormal

Modification history