Theorem AlgebraicGeometry.Scheme.affineBasisCover_is_basis

Modification history