diff options
| author | Reynald Affeldt | 2020-06-04 20:45:53 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-06-04 20:45:53 +0900 |
| commit | 33c29d4653ac5be781823ae5ede47c361f13d80f (patch) | |
| tree | 2da35e4cdd7a2a4a105c01ac9c552a8c59808095 | |
| parent | 86c72a2a0164b8af1a95eb3799a8055cfa8fbe2a (diff) | |
fix changelog
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 6f98d3c..a5fae21 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -11,9 +11,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ### Added - in `ssrnum.v`, new lemmas: - + `{real_,}ltr_normlW`, `{real_,}ltrNnormlW`, `{real_,}ler_normlW`, `{real_,}lerNnormlW` - + `{real_,}ltr_distl_addr`, `{real_,}ler_distl_addr`, `{real_,}ltr_distl_addrC`, `{real_,}ler_distl_addrC`, - `{real_,}ltr_distl_subl`, `{real_,}ler_distl_subl`, `{real_,}ltr_distl_sublC`, `{real_,}ler_distl_sublC` + + `(real_)ltr_normlW`, `(real_)ltrNnormlW`, `(real_)ler_normlW`, `(real_)lerNnormlW` + + `(real_)ltr_distl_addr`, `(real_)ler_distl_addr`, `(real_)ltr_distl_addrC`, `(real_)ler_distl_addrC`, + `(real_)ltr_distl_subl`, `(real_)ler_distl_subl`, `(real_)ltr_distl_sublC`, `(real_)ler_distl_sublC` ### Changed |