Note: To follow along with this post create a new Lean file and write the following at the top of your Lean file. If you do not have a copy of Lean installed you can follow along here (but it will run slower). Groups are algebraic objects, and it is the study of these objects that forms an […]
Groups I
- Post author By Omar Harhara
- Post date
- Categories In Algebra
- No Comments on Groups I