User talk:Dfeuer/CTR5

From ProofWiki
Jump to navigation Jump to search

Should this just be folded into OG5 and deleted? There's almost nothing here. --Dfeuer (talk) 00:29, 27 January 2013 (UTC)

IMO it would fit more naturally as a corollary to the theorem it refers to (can't be bothered to copy the ref. here). --Lord_Farin (talk) 15:07, 27 January 2013 (UTC)