Theorem AlgebraicGeometry.Scheme.OpenCover.comp_app

Modification history