Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
base_logic
big_op.v
Find file
Blame
History
Permalink
Short proof of `big_sepL_delete`.
· 3bc1f853
Robbert Krebbers
authored
Mar 27, 2018
This is a substitute for !136.
3bc1f853