Std/util-extensions
Extensions of Std/util in the Kestrel Books.
These extensions could be moved under std/util
at some point.
Subtopics
- Defmapping
- Establish a mapping between two domains.
- Defsurj
- Establish a surjective mapping between two domains.
- Defiso
- Establish an isomorphic mapping between two domains.
- Definj
- Establish an injective mapping between two domains.