Commit 2024-04-04 23:53 8e6493b6
View on Github →feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): fromSpec
is a continuous function so that we have Spec A^0_f = Proj | D(f)
as topological spaces (#9629)
feat(AlgebraicGeometry/ProjectiveSpectrum/Scheme): fromSpec
is a continuous function so that we have Spec A^0_f = Proj | D(f)
as topological spaces (#9629)