Forked from
Iris / Iris
Source project has a limited visibility.
-
Dmitry Khalanskiy authored
A lemma that allows to relate a singleton with another list.
Dmitry Khalanskiy authoredA lemma that allows to relate a singleton with another list.
