Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Compact times paracompact implies paracompact  + (tabular)
• Complete regularity is hereditary  + (tabular)
• Hausdorffness is hereditary  + (tabular)
• Regularity is hereditary  + (tabular)
• Tietze extension theorem  + (tabular)
• Reduced homology of wedge sum relative to basepoints with neighborhoods that deformation retract to them is direct sum of reduced homologies  + (tabular)
• Euler characteristic of compact connected nontrivial Lie group is zero  + (tabular)
• Equiconnected implies contractible  + (tabular)
• Nonempty topologically convex implies equiconnected  + (tabular)