OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros25.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero1614 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero1621 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero1622 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero1625 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero1631 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero1662 line 41
7. theorem OAI.MUB6.Certificate.MixedSemantics.zero1663 line 47