not_odd_zero

Mathlib.Algebra.Ring.Parity

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

English

Zero is not odd.

Русский

Ноль не является нечётным.

LaTeX

$$$\\neg \\mathrm{Odd}(0)$$$

Lean4

@[simp]
theorem not_odd_zero : ¬Odd 0 := by grind

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

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

Разделы

Аффилиация

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