feat(data/list/off_diag): add `list.off_diag` #17769
eric-wieser
wants to merge
6 commits into
master
from
eric-wieser/list.off_diag
feat(data/list/perm): add `list.perm.{join,join_congr}`
b2bbef64
chore(data/list/zip): add some lemmas about zip_with3
bb8b2018
Merge branch 'eric-wieser/list.perm.join' into eric-wieser/list.off_diag
85523d07
wip
ddf74782
Merge remote-tracking branch 'origin/master' into eric-wieser/list.of…
a3ae53c2
add module docstring
bcd69fa3
Reviewers
No reviews
Assignees
No one assigned
Labels
WIP
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub