Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-02 06:06 572f7274

View on Github →

chore(algebra/big_operators): use weaker typeclass assumptions (#6503)

Estimated changes

modified theorem finset.prod_pos