mathlib
5722ee88 - refactor(data/finset): restate disjoint_filter (#1583)

Commit

6 years ago

refactor(data/finset): restate disjoint_filter (#1583) * refactor(data/finset): restate disjoint_filter * fix build * fix build

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents