OAI.MUB6.Certificate.GramData.Block3.entry_14_11_e: intermediate lemma from OpenAI, The maximum number of mutually unbiased bases in dimension six

Initializing...

OAI.MUB6.Certificate.GramData.Block3.entry_14_11_e: intermediate lemma from OpenAI, The maximum number of mutually unbiased bases in dimension six · Prove2Me