symmDiff_eq_Xor'

Mathlib.Order.SymmDiff

URI: https://scilib.ai/kg/mathlib#symmDiff_eq_Xor'

Lean4

theorem symmDiff_eq_Xor' (p q : Prop) : p ∆ q = Xor' p q :=
  rfl

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

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

Разделы

Аффилиация

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