InitialDegree -- Option for chainComplexMap

For the programmer

The object InitialDegree is a symbol.

The source of this document is in TateOnProducts.m2:4207:0.