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)