namespace Lemma {

/** 
	\page Extending Extending
	A page outlining how to extend Lemma classes.
*/
}