Skip to content

GitLab

Merged
Created by Rodolphe Lepigre@lepigreMaintainer

Lifting lemmas for working with arrays

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