Theorem smooth_fst

Modification history