Talk:Series Law for Extremal Length/Rho is Well Defined

I've added this page as "proof of concept" regarding the idea of using subpages.

The point about having this as a subpage is that

a) the claim is easy to believe, easy to check, and the details would detract from the main flow of the proof; b) there is nothing to check in the main case of interest, namely when the curves are subsets of the complex plane.

On second thought, you could argue that there is actually a lemma here: maximum of two metrics is a well-defined metric. I guess when we get to introducing these concepts formally I will get rid of this page and link to a corresponding page.

So perhaps this isn't such a good example after all. However, as proofs grow, there _will_ be situation where some little details might deserve an extra argument, but not within the main proof, but there has been so much notation accumulated that phrasing this as a separate lemma is not feasible. In that situation, I would advertise the use of subpages. -- lasserempe 12:06, 8 March 2009 (UTC)