mathlib
53650a00 - feat(*): lemmas about `disjoint` on `set`s and `filter`s (#11549)

Commit

4 years ago

feat(*): lemmas about `disjoint` on `set`s and `filter`s (#11549)

Author

urkud

urkud

Parents

Loading