Theorem Nat.cast_Int

Modification history