OAI/InformationTheory/Entanglement/ProjectionReindex.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ProjectionCriterion.trace_reindex line 14
2. def OAI.ProjectionCriterion.Data.reindexP line 19
3. lemma OAI.ProjectionCriterion.Data.reindexP_overlap line 21
4. lemma OAI.ProjectionCriterion.Data.reindexP_complete line 26
5. lemma OAI.ProjectionCriterion.Data.reindexP_clique line 40
6. def OAI.ProjectionCriterion.Data.reindex line 51