| changeset 63918 | 6bf55e6e0b75 |
| parent 63917 | 40d1c5e7f407 |
| child 63919 | 9aed2da07200 |
--- a/NEWS Mon Sep 19 12:53:30 2016 +0200 +++ b/NEWS Mon Sep 19 20:06:21 2016 +0200 @@ -639,6 +639,11 @@ one_step_implies_mult instead. INCOMPATIBILITY. +* The following theorems have been renamed: + setsum_left_distrib ~> setsum_distrib_right + setsum_right_distrib ~> setsum_distrib_left +INCOMPATIBILITY. + * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. INCOMPATIBILITY.