ext

Mathlib.Computability.Language

URI: https://scilib.ai/kg/mathlib#Language.ext

English

Two languages are equal if and only if they contain exactly the same words.

Русский

Два языка равны тогда и только тогда, когда они содержат одни и те же слова.

LaTeX

$$$ \forall l,m.\ (\forall x, x \in l \iff x \in m) \Rightarrow l = m $$$

Lean4

@[ext]
theorem ext {l m : Language α} (h : ∀ (x : List α), x ∈ l ↔ x ∈ m) : l = m :=
  Set.ext h

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

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

Разделы

Аффилиация

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