Theorem Int.natCast_emod

Modification history