OAI/Analysis/Quantum/DimensionTen/TensorSymmetry.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DimensionTen.kronecker_transpose line 11
2. lemma OAI.DimensionTen.tensorMap_output_transpose line 14
3. lemma OAI.DimensionTen.tensorMap_input_transpose line 25
4. lemma OAI.DimensionTen.hsAdjoint_output_transpose line 45
5. lemma OAI.DimensionTen.symmetricIsometry_real line 55
6. lemma OAI.DimensionTen.exteriorIsometry_real line 59
7. lemma OAI.DimensionTen.hodgeComplement_real line 63
8. lemma OAI.DimensionTen.hodgeComplement_symmetric line 68
9. lemma OAI.DimensionTen.firstSix_real line 72
10. lemma OAI.DimensionTen.real_compression_transpose line 76
11. lemma OAI.DimensionTen.real_embedding_transpose line 81