IsValid

Mathlib.Combinatorics.Optimization.ValuedCSP

URI: https://scilib.ai/kg/mathlib#FractionalOperation.IsValid

English

A fractional operation is valid if it is nonempty.

Русский

Фракционная операция является допустимой, если она непуста.

LaTeX

$$$\\text{IsValid}(\\omega) \\equiv (\\omega \\neq \\varnothing)$$$

Lean4

/-- Fractional operation is valid iff nonempty. -/
def IsValid (ω : FractionalOperation D m) : Prop :=
  ω ≠ ∅

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

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

Разделы

Аффилиация

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