Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
option.v
Find file
Blame
History
Permalink
Switch `inj _` to `inj f`, part 1
· ba2bdb73
Paolo G. Giarrusso
authored
Apr 04, 2020
Code affected by
a00d9bd8
.
ba2bdb73