Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-13 09:23 4c24a091

View on Github →

chore(data/fintype/card): add prod_bool (#3758)

Estimated changes

Modified src/data/fintype/card.lean

added theorem fintype.prod_bool

Modified src/topology/algebra/infinite_sum.lean