Theorem AlgebraicGeometry.Spec.germ_stalkMapIso_hom

Modification history

2026-02-10 19:14

Mathlib/AlgebraicGeometry/AffineScheme.lean

chore(AlgebraicGeometry): refactor `structureSheaf` (#35090) …

Modified AlgebraicGeometry.Spec.germ_stalkMapIso_hom View on Github →

2026-02-06 16:14

Mathlib/AlgebraicGeometry/Stalk.lean

feat(AlgebraicGeometry): quasi-finite morphisms have finite fibers (#34898)

Added AlgebraicGeometry.Spec.germ_stalkMapIso_hom View on Github →