Theorem finset.prod_congr
Modification history
2021-07-14 10:14
src/algebra/big_operators/basic.lean
chore(algebra/big_operators/basic): spaces around binders (#8307)
Modified finset.prod_congrView on Github →2017-12-13 12:21
algebra/big_operators.lean
fix(algebra/big_operators): congruence rules need to provide equations for all rewritable positions
Modified finset.prod_congrView on Github →