Theorem Nat.count_le_iff_le_nth

Modification history