| changeset 63585 | f4a308fdf664 |
| parent 62390 | 842917225d56 |
| child 69855 | 60b924cda764 |
| 63584:68751fe1c036 | 63585:f4a308fdf664 |
|---|---|
3 *) |
3 *) |
4 |
4 |
5 section \<open>Basic group theory\<close> |
5 section \<open>Basic group theory\<close> |
6 |
6 |
7 theory Group |
7 theory Group |
8 imports Main |
8 imports Main |
9 begin |
9 begin |
10 |
10 |
11 subsection \<open>Groups and calculational reasoning\<close> |
11 subsection \<open>Groups and calculational reasoning\<close> |
12 |
12 |
13 text \<open> |
13 text \<open> |