OAI/Analysis/Laughlin/ThreeBody/PhysicalTrace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Spin.trace_mul_list_sum line 9
2. theorem OAI.Laughlin.Spin.list_filter_sum_if line 16
3. theorem OAI.Laughlin.Spin.source_physical_threeBody_trace_identity line 25
4. theorem OAI.Laughlin.Spin.source_physical_threeBody_trace_tendsto line 48