To demonstrate that a given set $G$ together with a given binary operation $\ast$ forms a group $(G,\ast).$
| | | | created: 2019-08-12 21:44:13 | modified: 2019-08-12 21:48:30 | by: bookofproofs