Talk:Existence and Uniqueness of Cycle Decomposition

I was able to construct a proof for this, but it ended up being a lot longer than I had anticipated. How does one refactor a proof? Do you create separate pages and transclude them into the main one? Or do you create separate pages and just put links to those sub-proofs in the main proof? --HumblePi (talk) 18:02, 4 April 2017 (EDT)


 * Post it up as it is. Good job. The important thing is getting it in.


 * We can analyse the proof and chop it up into bits once we can see it. It will no doubt turn into a collaborative effort. --prime mover (talk) 18:07, 4 April 2017 (EDT)


 * Ok cool, I'll post up what I have so far. I'm still working on typing out the other part but this will do for now. --HumblePi (talk) 18:38, 4 April 2017 (EDT)

Ah, that's not too bad. There are a lot longer and more intricate proofs than that. I point you towards Urysohn's Lemma, which is a good benchmark. --prime mover (talk) 01:48, 5 April 2017 (EDT)