OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros84.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero5392 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero5394 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero5396 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero5408 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero5409 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero5410 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero5413 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero5427 line 53