Mathlib v3 is deprecated. Go to Mathlib v4

Def algebraic_geometry.to_Spec_Γ

Modification history

2022-12-07 18:26

src/algebraic_geometry/Spec.lean

feat(topology/algebra/uniform_ring): add dense_inducing.extend_hom (#17212) …

Modified algebraic_geometry.to_Spec_Γ View on Github →

2021-10-01 12:27

src/algebraic_geometry/Spec.lean

feat(algebraic_geometry/*): Proved Spec ⋙ Γ ≅ 𝟭 (#9416) …

Added algebraic_geometry.to_Spec_Γ View on Github →