OAI.KirchbergRordam.spatial_absorption_of_central_maximal_half_flip: intermediate lemma from OpenAI, The Kirchberg–Rørdam character criterion

Initializing...

OAI.KirchbergRordam.spatial_absorption_of_central_maximal_half_flip: intermediate lemma from OpenAI, The Kirchberg–Rørdam character criterion · Prove2Me