Theorem Subgroup.iSup_eq_closure

Modification history