Theorem filter.filter_product.of_zero
Modification history
2020-06-29 15:01
src/order/filter/filter_product.lean
feat(order/filter/germ): define `filter.germ` (#3172) …
Deleted filter.filter_product.of_zeroView on Github →2020-04-16 08:33
src/order/filter/filter_product.lean
refactor(tactic/norm_cast): simplified attributes and numeral support (#2407) …
Modified filter.filter_product.of_zeroView on Github →