locallyOfFinitePresentation_isStableUnderBaseChange

English

LocallyOfFinitePresentation is stable under base change.

Русский

LocallyOfFinitePresentation стабильна относительно базового изменения.

LaTeX

$$$\text{LocallyOfFinitePresentation}(f) \Rightarrow \text{LocallyOfFinitePresentation}(\text{base change of } f).$$$

Lean4

instance locallyOfFinitePresentation_isStableUnderBaseChange :
    MorphismProperty.IsStableUnderBaseChange @LocallyOfFinitePresentation :=
  HasRingHomProperty.isStableUnderBaseChange RingHom.finitePresentation_isStableUnderBaseChange

Похожие утверждения