Skip to content
GitLab
Explore
Sign in
Glen Mével
Iris
Repository
iris
iris
algebra
ofe.v
Find file
Blame
History
Permalink
`Later_inj` -> `Next_inj`.
· 46595d5c
Dan Frumin
authored
Dec 30, 2021
and
Ralf Jung
committed
Dec 30, 2021
46595d5c