Def AlgebraicGeometry.Spec.stalkIso

Modification history

2026-09-04 11:59
Mathlib/AlgebraicGeometry/AffineScheme.lean
chore(CategoryTheory): use the new `↧` notation in concrete categories (#41811) …
Modified AlgebraicGeometry.Spec.stalkIsoView on Github →
2026-02-10 19:14
Mathlib/AlgebraicGeometry/AffineScheme.lean
chore(AlgebraicGeometry): refactor `structureSheaf` (#35090) …
Modified AlgebraicGeometry.Spec.stalkIsoView on Github →
2026-02-06 16:14
Mathlib/AlgebraicGeometry/Stalk.lean
feat(AlgebraicGeometry): quasi-finite morphisms have finite fibers (#34898)
Added AlgebraicGeometry.Spec.stalkIsoView on Github →