algebra/cmra_big_op.v · 1270ae088a1b95d71fb9dbbfc4a63e9939de6570 · Marianna Rapoport / iris-coq · GitLab

Skip to content

GitLab

Explore

Sign in

iris-coq
algebra
cmra_big_op.v

Blame Permalink

Sep 28, 2016
1270ae08

Leibniz equality variants of the commute lemmas for big ops. · 1270ae08
Robbert Krebbers authored Sep 28, 2016

1270ae08

Leibniz equality variants of the commute lemmas for big ops.
Robbert Krebbers authored Sep 28, 2016

Loading