| changeset 79943 | b5cb8d56339f |
| parent 79942 | 7793e3161d2b |
| parent 79933 | 3f415c76a511 |
| child 79951 | 84f2d481d6d7 |
| child 79963 | 33c9a670e29c |
--- a/NEWS Wed Mar 20 12:26:52 2024 +0100 +++ b/NEWS Wed Mar 20 20:45:36 2024 +0100 @@ -137,6 +137,8 @@ * HOL-Analysis: corrected the definition of convex function (convex_on) to require the underlying set to be convex. INCOMPATIBILITY. +* HOL-Complex_Analysis: new, more general definition of meromorphicity. +INCOMPATIBILITY. *** Pure ***