Theorem Int.natCast_emultiplicity

Modification history