Skip to content

Commit 8c386ed

Browse files
affeldt-aistaffeldt-aist
committed
fix
1 parent 46f4ac5 commit 8c386ed

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

‎CHANGELOG_UNRELEASED.md

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -111,8 +111,6 @@
111111

112112
- in `real_interval.v`:
113113
+ lemma `itvNycEbigcap`
114-
- in `derive.v`:
115-
+ lemmas `derive1Mr`, `derive1Ml`
116114

117115
### Changed
118116

0 commit comments

Comments
 (0)