Group axioms

Summary