equal
deleted
inserted
replaced
147 zmod_zdiv_trivial ~> mod_div_trivial |
147 zmod_zdiv_trivial ~> mod_div_trivial |
148 zdiv_zminus_zminus ~> div_minus_minus |
148 zdiv_zminus_zminus ~> div_minus_minus |
149 zmod_zminus_zminus ~> mod_minus_minus |
149 zmod_zminus_zminus ~> mod_minus_minus |
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 |
|
153 zmod_minus1_right ~> mod_minus1_right |
152 mod_mult_distrib ~> mult_mod_left |
154 mod_mult_distrib ~> mult_mod_left |
153 mod_mult_distrib2 ~> mult_mod_right |
155 mod_mult_distrib2 ~> mult_mod_right |
154 |
156 |
155 * More default pred/set conversions on a couple of relation operations |
157 * More default pred/set conversions on a couple of relation operations |
156 and predicates. Consolidation of some relation theorems: |
158 and predicates. Consolidation of some relation theorems: |