Theorem ZMod.natAbs_valMinAbs_neg

Modification history