Skip to content
GitLab

Lifting lemmas for working with arrays

Merged Rodolphe Lepigre requested to merge lepigre/iris:offset_lifting into master

I need these kind of lemmas to conveniently work with arrays.