Theorem multiplicity_neg

Modification history