Theorem IsSubgroup.mul_mem_cancel_left

Modification history