card): add a few lemmas (#4877)

Commit

5 years ago

chore(data/fintype/card): add a few lemmas (#4877) Prove a few versions of `(∏ i in s, f i) * (∏ i in sᶜ, f i) = ∏ i, f i`

References

Author

urkud

Parents