Theorem Nat.abs_cast

Modification history