OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros80.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero5127 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero5130 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero5133 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero5135 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero5148 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero5166 line 41