Split the part about axiom equivalence from convex_choice.v into conv…

…ex_equiv.v
affeldt-aist · Feb 3, 2021 · 8eb7c90 · 8eb7c90
1 parent e8bd718
commit 8eb7c90
Show file tree

Hide file tree

Showing 3 changed files with 642 additions and 621 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -27,6 +27,7 @@ probability/fdist.v
 probability/proba.v
 probability/fsdist.v
 probability/convex_choice.v
+probability/convex_equiv.v
 probability/convex_stone.v
 probability/jfdist.v
 probability/graphoid.v