fixes and nitpicking

math-comp · Feb 9, 2024 · 7c69ed4 · 7c69ed4
1 parent e4da85a
commit 7c69ed4
Show file tree

Hide file tree

Showing 4 changed files with 93 additions and 102 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -48,6 +48,10 @@
 
 ### Removed
 
+- in `topology.v`:
+  + definition `pointwise_fun`
+  + module `PtwsFun`
+
 ### Infrastructure
 
 ### Misc