Theorem multiplicity.is_greatest

Modification history