Theorem Int.natAbs_one

Modification history