Theorem Nat.count_nth_succ

Modification history