Theorem Int.ofNat_eq_ofNat

Modification history