Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
We do not have a notation for `bi_affinely` either, so this is at least consistent.
Robbert Krebbers authoredWe do not have a notation for `bi_affinely` either, so this is at least consistent.
