lattice): basic lemmas (#11237)

Commit

4 years ago

chore(data/polynomial, data/finset/lattice): basic lemmas (#11237) Co-authored-by: Iván Sadofschi Costa <isadofschi@users.noreply.github.com>

Author

eric-wieser

Parents