changeset 47164 | 6a4c479ba94f |
parent 47163 | 248376f8881d |
child 47165 | 9344891b504b |
--- a/NEWS Tue Mar 27 15:53:48 2012 +0200 +++ b/NEWS Tue Mar 27 16:04:51 2012 +0200 @@ -153,6 +153,7 @@ zmod_minus1_right ~> mod_minus1_right zdvd_mult_div_cancel ~> dvd_mult_div_cancel zmod_zmult1_eq ~> mod_mult_right_eq + zpower_zmod ~> power_mod mod_mult_distrib ~> mult_mod_left mod_mult_distrib2 ~> mult_mod_right