feat: lemmas about pure for {List,Array,Vector}.{mapM,foldlM,foldrM,anyM,allM,findM?,findSomeM?}#7356
Merged
kim-em merged 5 commits intoleanprover:masterfrom eric-wieser:fold_pureMar 10, 2025
Commits
Commits on Mar 6, 2025
- committed
- committed
- committed
- committed
- committed
