OAI/Probability/InvariantIsing/Fields/CascadeSeedRetainedLaw.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The full retained finite vector cascade is realized by ancestor-dependent seeds.

  1. theorem OAI.InvariantIsing.cascadeSeedTree_retained_law line 11