instLocallyOfFinitePresentationFstScheme — Mathlib · SciLib

∫ Утверждение Mathlib

instLocallyOfFinitePresentationFstScheme

Mathlib.AlgebraicGeometry.Morphisms.FinitePresentation

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.instLocallyOfFinitePresentationFstScheme

← MathLib Explorer