Commit 2021-10-05 16:47 800f2dcf
View on Github →feat: list permutations and pairwise (#56) The only thing that isn't just an addition from mathlib is changing the binder on subset to a weak implicit.
feat: list permutations and pairwise (#56) The only thing that isn't just an addition from mathlib is changing the binder on subset to a weak implicit.