Theorem Int.natAbs_ofNat

Modification history