Fixed typo.
[ doc ] Added reference for non-redundant group theory axioms.