Verify -- verify that a map is well-defined

Verify -- verify that a map is well-defined

Verify -- an option that can be used to request verification that a map is well defined.

inducedMap(..., Verify => ...) -- verify that a map is well-defined

Functions with optional argument named Verify :

inducedMap(..., Verify => ...) -- verify that a map is well-defined