Theorem Continuous.path_trans

Modification history