OAI/Probability/FreeIsing/Estimates/FreeIsingMeasure.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem367.freeIsingMeasure line 10
2. instance OAI.Problem367.freeIsingMeasure_probability line 13
3. theorem OAI.Problem367.freeIsingMeasure_hasFreeIsingLaw line 21
4. theorem OAI.Problem367.exists_freeIsingLaw line 27
5. theorem OAI.Problem367.HasFreeIsingLaw.eq_freeIsingMeasure line 31