Topics Related to Groups and Lean: