Theorem list.one_le_prod_of_one_le
Modification history
2022-03-18 13:10
src/data/list/big_operators.lean
refactor(data/list/big_operators): review API (#12782) …
Modified list.one_le_prod_of_one_leView on Github →2022-01-13 23:16
src/data/list/big_operators.lean
chore(data/list/big_operators): rename vars, reorder lemmas (#11433) …
Modified list.one_le_prod_of_one_leView on Github →