OAI/Analysis/TriangularHilbert/SignedTraceOrder.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularHilbert.Heat.windowDiags line 14
2. def OAI.TriangularHilbert.Heat.windowTrace line 17
3. lemma OAI.TriangularHilbert.Heat.rowBare_strict_eq_base line 22
4. lemma OAI.TriangularHilbert.Heat.heatWeights_strict_le_base line 31
5. lemma OAI.TriangularHilbert.Heat.strict_starGram_le_base line 44
6. lemma OAI.TriangularHilbert.Heat.windowInsertion_eq_score line 57
7. lemma OAI.TriangularHilbert.Heat.windowStarCost_le line 82
8. lemma OAI.TriangularHilbert.Heat.windowTrace_le line 112