Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
relations.v
Find file
Blame
History
Permalink
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
· dfe225f7
Paolo G. Giarrusso
authored
Aug 21, 2019
dfe225f7