Theorem multiplicity.is_greatest'

Modification history