![[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 | - | ||
| right_inverse.p | 2024-10-04 18:22 | 151 | |
| multiplication_is_well_defined.p | 2024-10-04 18:22 | 195 | |
| left_inverse.p | 2024-10-04 18:22 | 150 | |
| distributivity4.p | 2024-10-04 18:22 | 255 | |
| distributivity3.p | 2024-10-04 18:22 | 255 | |
| distributivity2.p | 2024-10-04 18:22 | 255 | |
| distributivity1.p | 2024-10-04 18:22 | 255 | |
| commutativity_of_addition.p | 2024-10-04 18:22 | 164 | |
| closure_of_multiplication.p | 2024-10-04 18:22 | 153 | |
| closure_of_addition.p | 2024-10-04 18:22 | 138 | |
| associativity_of_multiplication2.p | 2024-10-04 18:22 | 241 | |
| associativity_of_multiplication1.p | 2024-10-04 18:22 | 241 | |
| associativity_of_addition2.p | 2024-10-04 18:22 | 219 | |
| associativity_of_addition1.p | 2024-10-04 18:22 | 219 | |
| additive_identity2.p | 2024-10-04 18:22 | 138 | |
| additive_identity1.p | 2024-10-04 18:22 | 138 | |
| addition_is_well_defined.p | 2024-10-04 18:22 | 181 | |