Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-01 23:40 11b94970

View on Github →

feat(data/fintype): range_prod_eq_univ_prod (#1937)

  • feat(algebra/big_operators): range_prod_eq_univ_prod
  • fix build, part 1
  • fix build, part 2
  • fix build, part 3
  • Fix build, part 4

Estimated changes