Add matter on Edmonds-Karp algorithm.
Move supplementary algorithms to respective files.
Refactor the proof of branched VC logic. (35)
Change MAX to textrm.
Add matter on Edmonds blossom algorithm.
Add named theorem macro.
Remove redundant code.
Add missing labels, change style of subsubsections.