OAI.Kadison.PartialIsometryOrder.maximal_family_spans_of_full_support: intermediate lemma from OpenAI, Kadison's similarity theorem through uniform derivation estimates (result family 288)

Initializing...

OAI.Kadison.PartialIsometryOrder.maximal_family_spans_of_full_support: intermediate lemma from OpenAI, Kadison's similarity theorem through uniform derivation estimates (result family 288) · Prove2Me