Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
algebra
gmap.v
Find file
Blame
History
Permalink
Strong `Proper` lemmas for `big_op{L,M}` for setoids on the lists/maps.
· 0b36eb76
Robbert Krebbers
authored
Jan 16, 2020
0b36eb76