OAI/Probability/InvariantIsing/Fields/MarkForestRootLaw.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The one-branch and two-distinct-branch laws of the finite independent mark forest.

  1. lemma OAI.InvariantIsing.markForestRoot_preserving line 11
  2. lemma OAI.InvariantIsing.markForestRoots_preserving line 19