Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-31 22:26 7d89f2ea

View on Github →

feat(data/fintype/card): prod_univ_sum (#2284)

  • feat(data/fintype/card): prod_univ_sum
  • Update src/data/fintype.lean
  • Update src/data/fintype/card.lean
  • docstrings
  • fix build
  • remove unused argument
  • fix build

Estimated changes

modified theorem finset.card_map
modified theorem fintype.pi_finset_univ
added theorem finset.prod_univ_pi
added theorem finset.prod_univ_sum