OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros56.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero3601 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero3618 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero3628 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero3629 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero3635 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero3636 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero3637 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero3644 line 53