-
Robbert Krebbers authored
* Insert and singleton operation. * Identity element. * Non-expansiveness and properness of insert and singleton. * Frame preserving updates. * Functoriality.
1cfbdb17
* Insert and singleton operation. * Identity element. * Non-expansiveness and properness of insert and singleton. * Frame preserving updates. * Functoriality.