Theorem Nat.count_nth_zero

Modification history