Theorem Path.truncate_range

Modification history