![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| identity_in_group.p | 2024-10-04 18:24 | 139 | |
| left_identity.p | 2024-10-04 18:24 | 142 | |
| right_identity.p | 2024-10-04 18:24 | 143 | |
| left_inverse.p | 2024-10-04 18:24 | 153 | |
| right_inverse.p | 2024-10-04 18:24 | 154 | |
| inverse_in_group.p | 2024-10-04 18:24 | 170 | |
| total_function2.p | 2024-10-04 18:24 | 189 | |
| total_function1_1.p | 2024-10-04 18:24 | 204 | |
| total_function1_2.p | 2024-10-04 18:24 | 205 | |
| associativity1.p | 2024-10-04 18:24 | 250 | |
| associativity2.p | 2024-10-04 18:24 | 250 | |