OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros26.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1665 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1671 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1698 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1705 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1726 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1727 line 41