PropertyValue
rdf:type
rdfs:label
  • Tychonoff's theorem
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Tychonoff's theorem
skos:altLabel
  • theorem
  • compactness theorem
  • Tikhonov's theorem
  • \"central theorem\"
  • therefore also the function space
is clgo:knownFor of