Def AlgebraicGeometry.Scheme.affineOpenCoverOfSpanRangeEqTop

Modification history