• Ralf Jung's avatar
    characterize inclusion of sts_frag · de261ce8
    Ralf Jung authored
    I thought I could derive an interesting Lemma from this. Turns out I cannot. But this one may still be useful, at some point.
    de261ce8
sts.v 10.9 KB