Theorem Int.negSucc_ofNat_coe

Modification history