Theorem Subgroup.unit_of_mem_ofUnits_spec_val_eq_of_mem

Modification history