Theorem Subgroup.smul_closure

Modification history