OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros75.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4833 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4834 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4837 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4838 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4841 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4846 line 41