Commit 2025-01-14 02:01 264ed5bc
View on Github →feat: add stream' lemmas (#19546) The orders of summands in some lemmas are changed and simp annotations are added to make the API closer to the one for lists.
feat: add stream' lemmas (#19546) The orders of summands in some lemmas are changed and simp annotations are added to make the API closer to the one for lists.