next | previous | forward | backward | up | top | index | toc | home

CoherentSheaf ++ CoherentSheaf -- direct sum of coherent sheaves

Synopsis

Operator: ++

Description

F ++ G -- direct sum of coherent sheaves.