OAI.MarkovSuperreflexivity.MarkovTypeWith.not_coordinatesRepresentable: intermediate lemma from OpenAI, Nontrivial Markov Type Forces Superreflexivity

Initializing...

OAI.MarkovSuperreflexivity.MarkovTypeWith.not_coordinatesRepresentable: intermediate lemma from OpenAI, Nontrivial Markov Type Forces Superreflexivity · Prove2Me