Theorem Path.coe_reparam

Modification history