Wall's finiteness obstruction for CW-complexes PL-topology mathematics