OAI/Probability/InvariantIsing/Cavity/CavityInnovationKernel.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Unnormalized leaf-kernel transport under the innovation map.

  1. theorem OAI.InvariantIsing.cavityInnovationLeaf_unnormalized line 13
  2. theorem OAI.InvariantIsing.cavityInnovationLeaf_tilted_law line 123
  3. lemma OAI.InvariantIsing.cavity_replica_kernel_transport line 179