Theorem Subgroup.iSup_comap_le

Modification history