Talk:Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice

Refactoring?
I don't see that any of the lemmas here have much potential to be of use elsewhere&mdash;they're more sections of proof than truly independent results. I was just trying to split up the Wall O' Text in a logical fashion. Does anyone know of a better way to do that, or is there a certain piece that should actually be split off for reasons I'm not seeing? --Dfeuer (talk) 09:39, 16 December 2012 (UTC)


 * What we do is put the lemmas into separate pages and transclude them. It makes for a more modular approach. It may seem crack-brained but we have an agenda to evolve this site towards automated theorem proof. --prime mover (talk) 10:20, 16 December 2012 (UTC)