Extending

A page outlining how to extend Lemma classes.