@  Mobius

Definitions and Proofs in one PDF
Additional proofs and proof outlines for 3.2(2) and 3.2(3) and A5.   Most cases are trivial; we show the most interesting.

See also my supervisor's related page

back to main page