Theorem smooth_one

Modification history