Theorem Int.ofNat_add_negSucc_of_ge

Modification history