Theorem Subgroup.characteristic_iff_map_le

Modification history