OAI/Probability/FreeIsing/Ising/CanonicalContinuousFields.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem367.IsingObservationFactor.continuousField line 15
2. lemma OAI.Problem367.IsingObservationFactor.field_progressive line 18
3. lemma OAI.Problem367.IsingObservationFactor.continuousField_progressive line 22
4. theorem OAI.Problem367.IsingObservationFactor.continuousField_modification line 26
5. def OAI.Problem367.IsingObservationFactor.continuousDifference line 72
6. lemma OAI.Problem367.IsingObservationFactor.continuousDifference_progressive line 76
7. theorem OAI.Problem367.IsingObservationFactor.continuousDifference_modification line 90