Theorem Int.negSucc_ofNat_coe'

Modification history