Skip to content

add big_sepS_{insert,delete}_2

Ralf Jung requested to merge ralf/big_sepS_delete_2 into master

One direction of these lemmas holds in affine logics without preconditions.

Merge request reports