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

Initializing...

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