-
Robbert Krebbers authored
We typically use the _1 and _2 suffix to denote individual directions of a lemmas that is a biimplication.
617a69b4
We typically use the _1 and _2 suffix to denote individual directions of a lemmas that is a biimplication.