OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros21.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1345 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1379 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1381 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1386 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1393 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1398 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1405 line 47