OAI/Probability/InvariantIsing/Fields/CascadeSeedLeaf.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The weight-preserving leaf map for ancestor-dependent vector marks.

  1. def OAI.InvariantIsing.cascadeSeedLeaf line 11
  2. lemma OAI.InvariantIsing.measurable_cascadeSeedLeaf line 19
  3. lemma OAI.InvariantIsing.cascadeSeedLeaf_forget line 33