Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
algebra
auth.v
Find file
Blame
History
Permalink
Fix direction of `auth_auth_validN` to make it consistent with other lemmas.
· 9814fac1
Robbert Krebbers
authored
Sep 27, 2020
For example, `auth_auth_valid`.
9814fac1