instCommutativeXor'

Mathlib.Logic.Basic

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

English

Xor' is a commutative operation, hence Std.Commutative Xor' holds.

Русский

Xor' коммутативна, значит существует инстанс коммутативности.

LaTeX

$$Std.Commutative Xor'$$

Lean4

instance : Std.Commutative Xor' :=
  ⟨xor_comm⟩

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

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

Разделы

Аффилиация

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