instRespectsIsoScheme

Mathlib.AlgebraicGeometry.Morphisms.LocalClosure

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.sourceLocalClosure.instRespectsIsoScheme

English

The class (sourceLocalClosure W P) is stable under base change when W is stable under base change.

Русский

Класс (sourceLocalClosure W P) устойчив к базовому изменению, если W устойчив к базовому изменению.

LaTeX

$$IsStableUnderBaseChange (sourceLocalClosure W P)$$

Lean4

instance [P.RespectsIso] : (sourceLocalClosure W P).RespectsIso where

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

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

Разделы

Аффилиация

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