normalize_content

Mathlib.RingTheory.Polynomial.Content

URI: https://scilib.ai/kg/mathlib#Polynomial.normalize_content

English

Normalizing the content does not change the content value.

Русский

Нормализация содержания не изменяет его значения.

LaTeX

$$$$ \\text{normalize}(p.content) = p.content $$$$

Lean4

theorem normalize_content {p : R[X]} : normalize p.content = p.content :=
  Finset.normalize_gcd

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

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

Разделы

Аффилиация

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