Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-18 16:51 bf690dd3

View on Github →

feat(archive/100-theorems-list): add proof of thm 81 (#7274)

Estimated changes

Created archive/100-theorems-list/81_sum_of_prime_reciprocals_diverges.lean

added theorem card_le_mul_sum

added theorem card_le_two_pow

added theorem card_le_two_pow_mul_sqrt

added theorem range_sdiff_eq_bUnion

added theorem real.tendsto_sum_one_div_prime_at_top

added theorem sum_lt_half_of_not_tendsto

Modified docs/100.yaml

Modified src/data/finset/card.lean

added theorem finset.card_sdiff_add_card_eq_card