Mathlib v3 is deprecated. Go to Mathlib v4

Def algebraic_geometry.Scheme.function_field

Modification history

2022-01-01 11:59

src/algebraic_geometry/function_field.lean

feat(algebraic_geometry): The function field of an integral scheme (#11147)

Added algebraic_geometry.Scheme.function_field View on Github →