Def algebraic_geometry.LocallyRingedSpace.coequalizer_cofork

Modification history