First time here? Check out the FAQ!
asked 2016-08-11 19:04:56 +0100
Or can I test that the operation satisfies the axioms one at a time?