OAI.Kaplansky.mainTarget_of_actualDefectQuasitrace: intermediate lemma from OpenAI, A counterexample to Kaplansky's quasitrace conjecture and failure of tensor-product stable finiteness

Initializing...

OAI.Kaplansky.mainTarget_of_actualDefectQuasitrace: intermediate lemma from OpenAI, A counterexample to Kaplansky's quasitrace conjecture and failure of tensor-product stable finiteness · Prove2Me