Theorem Path.truncate_continuous_family

Modification history