Theorem Subgroup.unit_of_mem_ofUnits_spec_eq_of_val_mem

Modification history