From ae360cd5b46f9f30dcc947e5eb3b4cd8f3cbc759 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Tue, 11 Aug 2020 04:25:55 +0200 Subject: [PATCH] fix changelog (#247) * fix/update changelog --- CHANGELOG.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2332c751e..55b22a71a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -41,11 +41,10 @@ Last releases: [[0.3.2] - 2020-08-11](#032---2020-08-11) and [[0.3.1] - 2020-06- + lemmas `natmul_continuous`, `cvgMn` and `is_cvgMn`. + `uniformType` structure for `ereal` - in `sequences.v`: - + definitions `arithmetic`, `geometric`, `geometric_invn` - + lemmas `increasing_series`, `cvg_shiftS`, `mulrn_arithmetic`, - `exprn_geometric`, `cvg_arithmetic`, `cvg_expr`, - `geometric_seriesE`, `cvg_geometric_series`, - `is_cvg_geometric_series`. + + definitions `arithmetic`, `geometric` + + lemmas `telescopeK`, `seriesK`, `increasing_series`, `cvg_shiftS`, + `mulrn_arithmetic`, `exprn_geometric`, `cvg_arithmetic`, `cvg_expr`, + `geometric_seriesE`, `cvg_geometric_series`, `is_cvg_geometric_series`. ### Changed