Theorem smooth_iff

Modification history