Theorem CategoryTheory.Subgroupoid.mul_mem_cancel_left

Modification history