Theorem Nat.count_succ_eq_count_iff

Modification history