Theorem multiplicity.finite_mul_iff

Modification history