Commit 2020-01-14 16:00 9f7ae9ab
View on Github →chore(data/set/lattice): use ∃ x ∈ s instead of ∃ x, x ∈ s ∧ in mem_bUnion_iff (#1877)
This seems to be more in line with the rest of the library
chore(data/set/lattice): use ∃ x ∈ s instead of ∃ x, x ∈ s ∧ in mem_bUnion_iff (#1877)
This seems to be more in line with the rest of the library