Theorem ClassGroup.mk_eq_one_of_coe_ideal

Modification history