Semantic search

Jump to: navigation, search

Edit query Show embed code

The query [[Proof style::tabular]] was answered by the SMWSQLStore3 in 0.0092 seconds.

Results 1 – 7    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
Compact times paracompact implies paracompact
Complete regularity is hereditary
Euler characteristic of compact connected nontrivial Lie group is zero
Hausdorffness is hereditary
Reduced homology of wedge sum relative to basepoints with neighborhoods that deformation retract to them is direct sum of reduced homologies
Regularity is hereditary
Tietze extension theorem