Theorem Nat.multiplicity_finite_iff

Modification history