Theorem multiplicity.Int.natCast_multiplicity

Modification history