mathlib3
48104c3a - feat(data/set/lattice): (b)Union and (b)Inter lemmas (#7557)

Commit

4 years ago

feat(data/set/lattice): (b)Union and (b)Inter lemmas (#7557) from LTE

Author

PatrickMassot

PatrickMassot

Parents

Loading