mathlib
493a5b07 - feat(data/set/lattice): add lemmas `disjoint.union_left/right` etc (#3554)

Commit

5 years ago

feat(data/set/lattice): add lemmas `disjoint.union_left/right` etc (#3554)

Author

urkud

urkud

Parents

Loading