Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.card_attach

Modification history

2018-03-10 13:38
data/multiset.lean
feat(group_theory): add a little bit of group theory; prove of Lagrange's theorem
Added multiset.card_attachView on Github →