Theorem emultiplicity_eq_emultiplicity_span

Modification history