Talk:Recursive Construction of Transitive Closure

From ProofWiki
Jump to navigation Jump to search

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)