fix changelog

math-comp · Feb 6, 2023 · ff5c743 · ff5c743
1 parent c028d08
commit ff5c743
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
@@ -126,6 +126,7 @@
   to perform some tactics under a `\forall x \near F, ...` quantification.
 - in `normedtype.v`, added notations `^'+`, `^'-`, `+oo_R`, `-oo_R`
 - in `topology.v`
+  + definition `quotient_topology`
   + definition `quotient_topologicalType_mixin`, `quotient_topologicalType`
   + definition `quotient_open`
   + lemma `pi_continuous`, `quotient_continuous`,`repr_comp_continuous`