Remove unnecessary test case.

This test case can be derived from those already tested:
- mul(a, 1) == a
- mul(a, inv(a)) == 1
Annotate mul 2,3 test cases
doxygen: Don't make latex and man docs.