Foliations in differential topology Differential topology mathematics