mathlib3
1b96e977 - feat(data/sym2): card of `sym2 α` (#8426)

Commit

4 years ago

feat(data/sym2): card of `sym2 α` (#8426) Case `n = 2` of stars and bars Co-authored-by: Johan Commelin <johan@commelin.net>

Author

YaelDillies

Parents