mathlib3
b9ead4d5 - feat(data/finset): add disjoint_bind_left/right

Commit

6 years ago

feat(data/finset): add disjoint_bind_left/right

Author

johoelzl

johoelzl

Committer

johoelzl

johoelzl

Parents

Loading