diff options
| author | Cyril Cohen | 2020-09-28 10:16:37 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-28 10:16:37 +0200 |
| commit | e41cb4f8b30181d3b144b57fc46cb89407f632d8 (patch) | |
| tree | a2d042d15e8064e92f1fee34c43c3fd40972d3e9 | |
| parent | 4241f07301e8d84186ae2c80d5c32118a90f6847 (diff) | |
Update CHANGELOG_UNRELEASED.md
Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index dd6b4c1..fbf313c 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -161,7 +161,6 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - Added lemma `ord1` in `fintype`, it is the same as `zmodp.ord1`, except `fintype.ord1` does not rely on `'I_n` zmodType structure. -### Changed - in `order.v`, `\join^d_` and `\meet^d_` notations are now properly specialized for `dual_display`. |