K0 group

1 triples
GPTKB property

Random triples
Subject Object
gptkb:K-theory_of_C*-algebras classifies projections up to stable equivalence