morphismRestrict_base — Mathlib · SciLib

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

morphismRestrict_base

Mathlib.AlgebraicGeometry.Restrict

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

← MathLib Explorer