Theorem Path.extend_of_le_zero

Modification history