doesNotHoldFor

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Serre's_theorem_on_the_splitting_of_vector_bundles projective spaces of dimension greater than 1
gptkb:Hauptvermutung higher-dimensional manifolds