Theorem list.prod_pos
Modification history
2022-11-15 02:10
src/data/list/big_operators.lean
refactor(algebra/order/ring): Make `strict_ordered_semiring`s nontrivial (#17394) …
Modified list.prod_posView on Github →2022-10-08 09:14
src/data/list/big_operators.lean
feat(algebra/order/ring): Non-cancellative ordered semirings (#16172) …
Modified list.prod_posView 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.prod_posView on Github →