:Category:Theorems in differential topology