instIsStableUnderBaseChangeScheme

Mathlib.AlgebraicGeometry.Morphisms.Etale

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.IsEtale.instIsStableUnderBaseChangeScheme

English

The property of being étale is stable under base change.

Русский

Свойство быть étale устойчиво под изменением основания.

LaTeX

$$$[IsEtale] \\Rightarrow IsStableUnderBaseChange(IsEtale)$$$

Lean4

instance : IsStableUnderBaseChange @IsEtale :=
  isSmoothOfRelativeDimension_isStableUnderBaseChange 0

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru