Theorem Nat.cast_min

Modification history