Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#368
Remove `inv` lemmas for agree/auth/view/etc and add `_L` variants to the
↔
lemma
See the discussion here
!551 (comment 58488)