instIsStableUnderCompositionScheme

English

Formally unramified morphisms are stable under composition: the composition of two formally unramified morphisms is formally unramified.

Русский

Формально неразрушимые морфизмы устойчиваются к композиции: композиция двух формально неразрушимых морфизмов также формально неразрушима.

LaTeX

$$IsStableUnderComposition(FormallyUnramified)$$

Lean4

instance : MorphismProperty.IsStableUnderComposition @FormallyUnramified :=
  HasRingHomProperty.stableUnderComposition RingHom.FormallyUnramified.stableUnderComposition

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