Finite Map Extras

Javier Díaz

12 October 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.
BSD License

Topics

Theories

Cite

×
@article{Finite-Map-Extras-AFP,
  author  = {Javier Díaz},
  title   = {Finite Map Extras},
  journal = {Archive of Formal Proofs},
  month   = October,
  year    = 2020,
  note    = {\url{http://isa-afp.org/entries/Finite-Map-Extras.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download