Theorem Nat.cast_succ'

Modification history