coveringMap

2 triples
GPTKB property

Random triples
Subject Object
gptkb:circle_group_S^1 exp: R → S^1, t ↦ exp(2πit)
gptkb:R^n/Z^n R^n → R^n/Z^n