Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion PL-topology mathematics