connective real K-theory

GPTKB entity