swap_X

Mathlib.Algebra.Polynomial.Bivariate

URI: https://scilib.ai/kg/mathlib#Polynomial.Bivariate.swap_X

English

In the swap automorphism, X is sent to Y.

Русский

При автоморфизме swap X заходит в Y.

LaTeX

$$$swap(CX) = Y.$$$

Lean4

theorem swap_X : swap (R := R) (C X) = Y := by simp

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

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

Разделы

Аффилиация

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