Semantic search

Jump to: navigation, search

Edit query Show embed code

The query [[Proof style::tabular]] was answered by the SMWSQLStore3 in 0.0127 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