diff options
| -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`. |