Theorem multiplicity_eq_multiplicity_span

Modification history