Theorem Path.map_trans

Modification history