OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros35.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2263 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2264 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2265 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2268 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2291 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2292 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero2293 line 47