Smoothing theory revisited

Abstract

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.