Skip to content

Strengthened [step_fupd_frame_l] and [step_fupdN_frame_l] lemmas

Jonas Kastberg requested to merge jihgfee/iris-coq:stronger_step_fupd_frame_lemmas into master

Lemmas pertaining to step_fupd seem to have missing laters

Merge request reports