equal
deleted
inserted
replaced
150 zdiv_zminus2 ~> div_minus_right |
150 zdiv_zminus2 ~> div_minus_right |
151 zmod_zminus2 ~> mod_minus_right |
151 zmod_zminus2 ~> mod_minus_right |
152 zdiv_minus1_right ~> div_minus1_right |
152 zdiv_minus1_right ~> div_minus1_right |
153 zmod_minus1_right ~> mod_minus1_right |
153 zmod_minus1_right ~> mod_minus1_right |
154 zdvd_mult_div_cancel ~> dvd_mult_div_cancel |
154 zdvd_mult_div_cancel ~> dvd_mult_div_cancel |
|
155 zmod_zmult1_eq ~> mod_mult_right_eq |
155 mod_mult_distrib ~> mult_mod_left |
156 mod_mult_distrib ~> mult_mod_left |
156 mod_mult_distrib2 ~> mult_mod_right |
157 mod_mult_distrib2 ~> mult_mod_right |
157 |
158 |
158 * More default pred/set conversions on a couple of relation operations |
159 * More default pred/set conversions on a couple of relation operations |
159 and predicates. Consolidation of some relation theorems: |
160 and predicates. Consolidation of some relation theorems: |