OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros6.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero389 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero396 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero417 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero418 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero419 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero422 line 41