Theorem multiplicity.get_multiplicity_self

Modification history