Theorem Int.natAbs_of_negSucc

Modification history