diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 0c8e77f6f..fd68837e4 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -67,6 +67,9 @@ valid for a `uniformType` + moved `continuous_withinNx` from `normedType.v` to `topology.v` and generalised it to `uniformType` +- moved from `measure.v` to `sequences.v` + + `ereal_nondecreasing_series` + + `ereal_nneg_series_lim_ge` (renamed from `series_nneg`) ### Renamed