Commit 2024-10-06 19:08 54d30b77

View on Github →

feat: add Finset.cons_swap (#17413)

(s.cons a _).cons b _ = (s.cons b _).cons a _

Estimated changes