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

Initializing...

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