OAI/Probability/InvariantIsing/Fields/SeedSharedPairEvaluation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The common labeled prefix determines the shared seed updates exactly.

  1. theorem OAI.InvariantIsing.seed_shared_pair_evaluation line 11