Federer-Morse theorem

  1. redirectFederer–Morse theorem {{R from modification}}