Theorem Int.natAbs_zero

Modification history