This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(order/filter/n_ary): Add lemma equating map₂ to map on the product#13490
Closed
berndlosert wants to merge 7 commits intomasterfrom filter-map2-map
+26
