Commit 2022-12-15 18:06 302eab4f
View on Github →chore(data/finset/lattice): Protect ambiguous lemmas (#17938)
Protect a few finset
lemmas that conflict with root ones when finset
is open.
chore(data/finset/lattice): Protect ambiguous lemmas (#17938)
Protect a few finset
lemmas that conflict with root ones when finset
is open.