OAI/Probability/InvariantIsing/Arrays/TensorRetainedSeedLaw.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual retained Ising tensor cascade has a joint ancestor-seed representation.

  1. theorem OAI.InvariantIsing.tensorRetainedCascade_seed_law line 13