inducedMap => Verify

Verify => true -- an option for inducedMap which requests verification that the induced map produced is well defined.
topindexpreviousupnext