| changeset 11253 | caabb021ec0f |
| parent 11096 | bedfd42db838 |
| 11252:71c00cb091d2 | 11253:caabb021ec0f |
|---|---|
173 mp |
173 mp |
174 set_rev_mp |
174 set_rev_mp |
175 set_mp |
175 set_mp |
176 order_neq_le_trans |
176 order_neq_le_trans |
177 order_le_neq_trans |
177 order_le_neq_trans |
178 order_less_trans |
|
178 order_less_asym' |
179 order_less_asym' |
179 order_less_trans |
|
180 order_le_less_trans |
180 order_le_less_trans |
181 order_less_le_trans |
181 order_less_le_trans |
182 order_trans |
182 order_trans |
183 order_antisym |
183 order_antisym |
184 ord_le_eq_trans |
184 ord_le_eq_trans |