Verify -- an optional argument

Description

A symbol used as the name of an optional argument.

Functions with optional argument named Verify :

• "extend(...,Verify=>...)" -- see extend(ChainComplex,ChainComplex,Matrix) -- extend a module map to a chain map, if possible
• inducedMap(...,Verify=>...) -- verify that a map is well-defined
• "lift(...,Verify=>...)" -- see lift -- lift to another ring