quasiSeparated_isStableUnderBaseChange

English

Quasi-compactness is stable under base change with respect to a qc morphism.

Русский

Квази-компактность стабильна при базовом изменении по отношению к квази-компактному морфизму.

LaTeX

$$$\\text{QuasiCompact}$ устойчив под основание изменение$$

Lean4

instance quasiSeparated_isStableUnderBaseChange : MorphismProperty.IsStableUnderBaseChange @QuasiSeparated :=
  quasiSeparated_eq_diagonal_is_quasiCompact.symm ▸ inferInstance

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