OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros7.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero464 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero465 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero466 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero469 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero482 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero495 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero506 line 47