![[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 | - | ||
| zero_is_smallest.p | 2024-10-04 18:33 | 128 | |
| quotient_smaller_than_numerator.p | 2024-10-04 18:33 | 158 | |
| quotient_property.p | 2024-10-04 18:33 | 192 | |
| quotient_less_equal2.p | 2024-10-04 18:33 | 163 | |
| quotient_less_equal1.p | 2024-10-04 18:33 | 164 | |
| less_equal_and_equal.p | 2024-10-04 18:33 | 171 | |
| identity_is_largest.p | 2024-10-04 18:33 | 135 | |