(min,ChainComplex)
min C
-- the minimum index occuring in a chain complex.
