Theorem Nat.count_succ'

Modification history