Theorem Int.negSucc_ofNat_add_ofNat

Modification history