Theorem Nat.emultiplicity_eq_card_pow_dvd

Modification history