Definitions, “let,” and “:=” - Group Theory | Zoonk