Theorem List.foldl_eq_foldr_of_commute

Modification history

2026-04-02 14:40
Mathlib/Data/List/Fold.lean
feat: Bird–Wadler duality theorems (#35713) …
Added List.foldl_eq_foldr_of_commuteView on Github →