Theorem smooth_id

Modification history