OAI/Analysis/KadisonSimilarity/Similarity/KirchbergUniformBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The quantitative conclusion of Kirchberg's Proposition 1: a uniform complete bound for those homomorphisms already known to be similar.

  1. theorem OAI.KadisonSimilarity.kirchberg_uniform_completeBound line 18