-
Sylvain Dailler authored
Note that the proof is not as general as it should. Because, it would work with any property P (instead of shortest_path) such that (forall n. P n -> n >= 0)
20522d1d
Note that the proof is not as general as it should. Because, it would work with any property P (instead of shortest_path) such that (forall n. P n -> n >= 0)