OAI/Analysis/MutuallyUnbiased/MixedSemantics/Zeros36.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.Certificate.MixedSemantics.zero2304 line 11
2. theorem OAI.MUB6.Certificate.MixedSemantics.zero2309 line 17
3. theorem OAI.MUB6.Certificate.MixedSemantics.zero2312 line 23
4. theorem OAI.MUB6.Certificate.MixedSemantics.zero2319 line 29
5. theorem OAI.MUB6.Certificate.MixedSemantics.zero2322 line 35
6. theorem OAI.MUB6.Certificate.MixedSemantics.zero2331 line 41