chiark / gitweb /
lemma calculation of ends, no proof yet
[topbloke-formulae.git] / test.tex
2012-03-01 Ian Jacksontrivial test document