Theorem Nat.multiplicity_eq_card_pow_dvd

Modification history