Theorem Int.ofNat_eq_ofNat_iff

Modification history