alexandroff hausdorff

math-comp · May 3, 2023 · 3cecfba · 3cecfba
1 parent 21748a0
commit 3cecfba
Show file tree

Hide file tree

Showing 3 changed files with 159 additions and 178 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -21,6 +21,7 @@ theories/reals.v
 theories/landau.v
 theories/Rstruct.v
 theories/topology.v
+theories/cantor.v
 theories/prodnormedzmodule.v
 theories/normedtype.v
 theories/realfun.v