Theorem multiplicity.multiplicity_self

Modification history