nonneg

Mathlib.SetTheory.Game.Impartial

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.Impartial.nonneg

English

For an impartial G, G is not strictly less than 0: ¬(G < 0).

Русский

Для непредвзятой G G не строго меньше нуля: ¬(G < 0).

LaTeX

$$$\neg(G < 0)$$$

Lean4

theorem nonneg : ¬G < 0 := by simpa using nonpos (-G)

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

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

Разделы

Аффилиация

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