OAI/Probability/FreeIsing/Ising/CopyResponseIdentification.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem367.IsingObservationFactor.response_stoppedUniformSum_memLp line 19
2. theorem OAI.Problem367.IsingObservationFactor.response_stoppedUniformSum_copy_memLp line 29
3. theorem OAI.Problem367.IsingObservationFactor.rootResponse_integral_eq_copy line 41
4. theorem OAI.Problem367.IsingObservationFactor.rootResponse_integral_eq_copy_all_times line 71
5. theorem OAI.Problem367.IsingObservationFactor.rootResponse_sum_eq_copy line 102
6. theorem OAI.Problem367.IsingObservationFactor.rootResponse_sum_eq_copy_all_times line 138