Semantic search
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