map_base_apply — Mathlib · SciLib

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

map_base_apply

Mathlib.AlgebraicGeometry.Scheme

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Spec.map_base_apply

← MathLib Explorer