Skip to content

Commit 2f00a88

Browse files
affeldt-aistaffeldt-aist
committed
fix changelog
1 parent 51e47e0 commit 2f00a88

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎CHANGELOG_UNRELEASED.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -149,6 +149,9 @@
149149

150150
### Removed
151151

152+
- in `topology.v`:
153+
+ lemma `my_ball_le` (use `ball_le` instead)
154+
152155
### Infrastructure
153156

154157
### Misc

0 commit comments

Comments
 (0)