Theorem Int.natAbs_ofNat'

Modification history