Theorem Nat.succ_pos'

Modification history