search for:
CoherentSheaf ++ CoherentSheaf
-- direct sum of coherent sheaves
F ++ G
-- direct sum of coherent sheaves.
Synopsis of use:
Operator:
++
Class of argument 1:
CoherentSheaf
Class of argument 2:
CoherentSheaf
Class of typical returned value:
CoherentSheaf
search for: