equal
deleted
inserted
replaced
470 |
470 |
471 * Added class topological_monoid. |
471 * Added class topological_monoid. |
472 |
472 |
473 * The following theorems have been renamed: |
473 * The following theorems have been renamed: |
474 |
474 |
475 setsum_left_distrib ~> setsum_distrib_right |
475 setsum_left_distrib ~> sum_distrib_right |
476 setsum_right_distrib ~> setsum_distrib_left |
476 setsum_right_distrib ~> sum_distrib_left |
477 |
477 |
478 INCOMPATIBILITY. |
478 INCOMPATIBILITY. |
479 |
479 |
480 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
480 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
481 INCOMPATIBILITY. |
481 INCOMPATIBILITY. |