![[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 | - | ||
| c_17.p | 2024-10-04 18:28 | 198 | |
| axiom_3.p | 2024-10-04 18:28 | 196 | |
| transitivity_of_less_than.p | 2024-10-04 18:28 | 191 | |
| axiom_2_1.p | 2024-10-04 18:28 | 181 | |
| axiom_2_3.p | 2024-10-04 18:28 | 180 | |
| axiom_2_2.p | 2024-10-04 18:28 | 180 | |
| axiom_6_2.p | 2024-10-04 18:28 | 151 | |
| axiom_5.p | 2024-10-04 18:28 | 150 | |
| axiom_8.p | 2024-10-04 18:28 | 149 | |
| axiom_7.p | 2024-10-04 18:28 | 149 | |
| reflexivity_of_less_than.p | 2024-10-04 18:28 | 134 | |
| axiom_6_1.p | 2024-10-04 18:28 | 130 | |
| right_identity.p | 2024-10-04 18:28 | 121 | |
| left_identity.p | 2024-10-04 18:28 | 120 | |