instIsQuasiAffineOfIsAffine

Mathlib.AlgebraicGeometry.QuasiAffine

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.instIsQuasiAffineOfIsAffine

English

Any affine scheme is quasi-affine.

Русский

Любая аффинная схема является квази-аффинной.

LaTeX

$$$$\\text{If } X \\text{ is affine, then } X \\text{ is quasi-affine}.$$$$

Lean4

instance (priority := low) [IsAffine X] : X.IsQuasiAffine where

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

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

Разделы

Аффилиация

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