Theorem Nat.count_succ_eq_succ_count_iff

Modification history