OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros23.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1482 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1483 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1484 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1485 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1486 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1487 line 41