Theorem Nat.nth_count_eq_sInf

Modification history