-
Robbert Krebbers authored
It is doing much more than just dealing with ∈, it solves all kinds of goals involving set operations (including ≡ and ⊆).
a9be1e26
It is doing much more than just dealing with ∈, it solves all kinds of goals involving set operations (including ≡ and ⊆).