Theorem multiplicity_self

Modification history