instIsSeparatedOfIsSeparated — Mathlib · SciLib

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

instIsSeparatedOfIsSeparated

Mathlib.AlgebraicGeometry.Morphisms.Separated

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.instIsSeparatedOfIsSeparated

← MathLib Explorer