Theorem multiplicity_eq_one_of_not_finite

Modification history