Theorem AlgebraicGeometry.toOpen_toSpecΓ_app

Modification history