instIsZariskiLocalAtTarget — Mathlib

English

A ring-hom property that is Zariski-local at the target is preserved under affine-local transfer.

Русский

Свойство кольцевого гомоморфизма, локальное по зари, сохраняется при переносе через аффинно-локальные преобразования.

LaTeX

$$IsZariskiLocalAtTarget P → IsZariskiLocalAtTarget (sourceAffineLocally P)$$

Lean4

instance (priority := 900) : IsZariskiLocalAtTarget P :=
  inferInstance

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