## Summary Port [`base_logic/lib/saved_prop.v`](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/iris/base_logic/lib/saved_prop.v). ## Dependencies **Rocq dependencies:** - `proofmode/proofmode` (aggregation) - #265 - #223
Summary
Port
base_logic/lib/saved_prop.v.Dependencies
Rocq dependencies:
proofmode/proofmode(aggregation)