Def AlgebraicGeometry.Scheme.OpenCover.finiteSubcover

Modification history