Def AlgebraicGeometry.StructureSheaf.isLocallyFraction

Modification history