(quote **,CoherentSheaf,CoherentSheaf)
F ** G
-- tensor product of coherent sheaves.
See also
CoherentSheaf
.