Add `cartesianProductWith⁻` and `cartesianProduct⁻` to `All`#2824

javierdiaz72 wants to merge 2 commits intoagda:masteragda/agda-stdlib:masterfrom

javierdiaz72:javierdiaz72/cartesian-product-elimjavierdiaz72/agda-stdlib:javierdiaz72/cartesian-product-elimCopy head branch name to clipboard