Theorem Subgroup.val_mem_ofUnits_iff_mem

Modification history