Theorem multiplicity_pow_self

Modification history