changelog

math-comp · Aug 6, 2024 · e9e3c0d · e9e3c0d
1 parent e2c4674
commit e9e3c0d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -161,6 +161,8 @@
 
 - in `classical_sets.v`:
   + lemmas `Zorn` and `ZL_preorder` now require a relation of type `rel T` instead of `T -> T -> Prop`
+- in `mathcomp_extra.v`:
+  + Notation "f \^-1" now at level 35 with f at next level
 
 ### Renamed