Forked from
Iris / Iris
Source project has a limited visibility.
-
Ike Mulder authored
Add some missing internal validity and equivalence lemmas for dfrac, auth, agree and reservation_map
Ike Mulder authoredAdd some missing internal validity and equivalence lemmas for dfrac, auth, agree and reservation_map
