Theorem CategoryTheory.Subgroupoid.ker_comp

Modification history