Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
We typically use the _1 and _2 suffix to denote individual directions of a lemmas that is a biimplication.
Robbert Krebbers authoredWe typically use the _1 and _2 suffix to denote individual directions of a lemmas that is a biimplication.
