Talk:Recursive Construction of Transitive Closure

Expansion/merge
The second "proof" lacks any actual proof. Either it needs to be turned into one or whatever advantages its construction has need to be transferred to proof 1. --Dfeuer (talk) 21:23, 13 December 2012 (UTC)