Theorem Subgroup.IsComplement.finite_left_iff

Modification history