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
feat(data/fintype): range_prod_eq_univ_prod (#1937)