OAI/Probability/InvariantIsing/Fields/VectorLabeledSeedTransport.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Full labeled field replicas transported to the common uniform-seed construction.

  1. theorem OAI.InvariantIsing.vector_labeled_seed_replica_law line 13