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

ι_image_top

Mathlib.AlgebraicGeometry.Restrict

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.Opens.ι_image_top

← MathLib Explorer