Thinning at fs n just lifts thin n.

One more lift and we're done...

Next: thin's code | Prev: thin at fz | Up: contents