Theorem Subgroup.mul_inf_assoc

Modification history