Theorem AlgebraicGeometry.IsAffineOpen.SpecΓIdentity_hom_app_fromSpec

Modification history