Theorem Int.natCast_multiplicity

Modification history