Skip to content

Added variant of big_sepL_lookup_acc which allows updating the value

Michael Sammler requested to merge msammler/iris-coq:big_sepL_lookup_acc_upd into master

A similar lemma already exists for big_sepM(2) as big_sepM(2)_insert_acc.

Merge request reports