Theorem AlgebraicGeometry.Scheme.affineBasisCover_map_range

Modification history