Theorem multiplicity.finite_iff_dom

Modification history