lattice): Protect ambiguous lemmas (#17938)

Commit

3 years ago

chore(data/finset/lattice): Protect ambiguous lemmas (#17938) Protect a few `finset` lemmas that conflict with root ones when `finset` is open.

Author

YaelDillies

Parents