Mathlib Changelog
v3
Changelog
About
Github
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_attach
View on Github →