Theorem multiplicity.finite_nat_iff

Modification history