OAI/Probability/InvariantIsing/Fields/SimpleFieldTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Comparing simple fields through an arbitrary joint law of their arguments.

  1. lemma OAI.InvariantIsing.simpleFieldValue_comp line 18
  2. lemma OAI.InvariantIsing.fieldCoupling_simple_error line 27