[MathJax on]
This is a way to track proofs from ToDoLists. Not only for debugging, but also for knowing how things work together.
generated by GAPDoc2HTML