Finite Map Extras

Javier Díaz 📧

October 12, 2020

Abstract

This entry includes useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard Finite_Map theory.

License

BSD License

Topics

Session Finite-Map-Extras