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

isSeparated_of_mono

Mathlib.AlgebraicGeometry.Morphisms.Separated

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.IsSeparated.isSeparated_of_mono

← MathLib Explorer