Skip to content

Add big_sepL2_nil_inv_l/r.

Dan Frumin requested to merge dfrumin/iris-coq:big_sepL-inv into master

They are quite useful sometimes.

Merge request reports