toImage — Mathlib · SciLib

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

toImage

Mathlib.AlgebraicGeometry.IdealSheaf.Subscheme

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

← MathLib Explorer