Theorem multiplicity.multiplicity_map_eq

Modification history