Theorem Path.continuous_extend

Modification history