Theorem Int.natAbs_ofNat_core

Modification history