-
Robbert Krebbers authored
Generalize `iPureIntro` to support non-empty spatial contexts with just affine hypotheses. See merge request iris/iris!241
01b35b6d
Generalize `iPureIntro` to support non-empty spatial contexts with just affine hypotheses. See merge request iris/iris!241