OAI/MathematicalPhysics/Heisenberg/SpectralTransfer.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.TensorMatrix.diagonal_function_intertwines line 10
2. lemma OAI.Heisenberg.TensorMatrix.diagonal_fintype_sum line 22
3. theorem OAI.Heisenberg.TensorMatrix.trace_exp_compression line 29
4. def OAI.Heisenberg.SlotTensor.physicalMagnetization line 44
5. def OAI.Heisenberg.SlotTensor.configMagnetization line 47
6. lemma OAI.Heisenberg.SlotTensor.total_diagonal_intertwines line 50
7. lemma OAI.Heisenberg.SlotTensor.color_config_mag line 60