Flows

This is to reason about flows in lean. On the way I hope to end up defining and proving a lot of results in graph theory which are useful for theoretical computer scientists.