Add some missing internal validity and equivalence lemmas for dfrac, auth and agree (!942) · Merge requests · Iris / Iris

Added some missing internal validity and equivalence lemmas for dfrac, auth and agree, which I used in !930.

Edited Jun 05, 2023 by Ike Mulder

Add some missing internal validity and equivalence lemmas for dfrac, auth and agree