(quote /,CoherentSheaf,CoherentSheaf)
F / G
-- quotient of coherent sheaves.
See also
CoherentSheaf
.