-
Robbert Krebbers authored
Also, specialize the big ops to gmap and gset because that is all that we are using. For the big ops on sets this also means we can use Leibniz equality on sets.
5726049c
Also, specialize the big ops to gmap and gset because that is all that we are using. For the big ops on sets this also means we can use Leibniz equality on sets.