Theorem Int.natCast_dvd_ofNat

Modification history