OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros69.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero4422 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero4423 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero4426 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero4432 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero4438 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero4455 line 41