Theorem Subgroup.isComplement'_def

Modification history