Theorem CategoryTheory.Subgroupoid.mul_mem_cancel_right

Modification history