isFiberBundleOver

URI: https://gptkb.org/prop/isFiberBundleOver
3 triples
GPTKB property
Random triples
Subject Object
gptkb:n-torus_T^n T^{n-1}
gptkb:n-torus (n-1)-torus
gptkb:torus_T^n T^{n-1}