instIsStableUnderCompositionScheme

English

The class of integral morphisms is stable under composition: if f and g are integral, then g ∘ f is integral.

Русский

Класс интегральных отображений устойчив к композиции: если f и g интегральны, то их композиция g ∘ f интегральна.

LaTeX

$$IsStableUnderComposition IsIntegralHom$$

Lean4

instance : IsStableUnderComposition @IsIntegralHom :=
  HasAffineProperty.affineAnd_isStableUnderComposition (Q := RingHom.IsIntegral) hasAffineProperty
    RingHom.isIntegral_stableUnderComposition

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