OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros72.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4641 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4643 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4646 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4647 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4649 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4652 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero4655 line 47
8. theorem OAI.MUB6.Certificate.MixedSemantics.zero4656 line 53