Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.add_card_le

Modification history

2021-08-18 08:28
src/algebra/pointwise.lean
feat(algebra/pointwise): instances in locale pointwise (#8689) …
Deleted finset.add_card_leView on Github →
2020-09-29 14:16
src/algebra/pointwise.lean
feat(algebra/pointwise): Add missing to_additive on finset lemmas (#4306)
Added finset.add_card_leView on Github →