not_coprime_zero_zero

Mathlib.Data.Nat.GCD.Basic

URI: https://scilib.ai/kg/mathlib#Nat.not_coprime_zero_zero

English

0 and 0 are not coprime.

Русский

Числа 0 и 0 не взаимно простые.

LaTeX

$$$$\neg \mathrm{Coprime}(0, 0)$$$$

Lean4

theorem not_coprime_zero_zero : ¬Coprime 0 0 := by simp

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

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

Разделы

Аффилиация

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