K1 group

1 triples
GPTKB property

Random triples
Subject Object
gptkb:K-theory_of_C*-algebras classifies unitary elements up to homotopy