Hi,
I found quite a few books that state the two equivalent definitions of submodular functions that can also be found on Wikipedia.
I couldn't find, though, a proof of the equivalence in any of the sources. Does somebody of you guys know of any?
Any help greatly appreciated,
DocEW

