mathlib3
8c732b2c - feat(data/finset/basic): card_subtype simp lemma (#5894)

Commit

4 years ago

feat(data/finset/basic): card_subtype simp lemma (#5894)

Author

pechersky

pechersky

Parents

Loading