Theorem Nat.count_succ

Modification history