Theorem Subgroup.mem_ofUnits_iff_exists_isUnit

Modification history