Theorem Int.ofNat_eq_natCast

Modification history