OAI/Probability/FreeIsing/Estimates/IndependentLabelSampler.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem367.exists_uniform01_independent_samplers line 13
2. theorem OAI.Problem367.map_independent_vertexSamplers line 24
3. theorem OAI.Problem367.map_pair_of_independent_vertexSamplers line 43
4. theorem OAI.Problem367.exists_independent_label_copies line 61
5. theorem OAI.Problem367.isFactorOfIID_of_independent_product_inputs line 75