From: Gerwin Klein <firstname.lastname@example.org>
Finite Map Extras
by Javier Díaz
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.
Last updated: Dec 05 2021 at 23:19 UTC