OAI/Combinatorics/HoneycombChords/YangBaxterSupport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Spin conservation for the honeycomb Yang–Baxter numerator and its triple products.

  1. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.numerator_eq_zero_of_sum_ne line 11
  2. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.leftComponent_eq_zero_of_sum_ne line 17
  3. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.rightComponent_eq_zero_of_sum_ne line 35