Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
algebra
list.v
Find file
Blame
History
Permalink
Add lemmas about local updates of lists
· 09c48057
Dmitry Khalanskiy
authored
Feb 06, 2020
and
Ralf Jung
committed
Mar 17, 2021
09c48057