Def AlgebraicGeometry.Scheme.Hom.fiberOverSpecResidueField

Modification history

2025-01-18 20:44

Mathlib/AlgebraicGeometry/Fiber.lean

feat(AlgebraicGeometry): scheme-theoretic fibre (#19427)

Added AlgebraicGeometry.Scheme.Hom.fiberOverSpecResidueField View on Github →