Theorem Nat.abs_ofNat

Modification history