slight changes

739e7bdf · MARCON Cecile · 67ce652e · 739e7bdf · 739e7bdf
Commit 739e7bdf authored 4 months ago by MARCON Cecile
--- a/src/AbstractBigraphs.v
+++ b/src/AbstractBigraphs.v
@@ -225,6 +225,8 @@ Definition discrete_ion {A:finType}
    exfalso. discriminate H.
    Defined. 

+
+
 Definition permutationbig (n : nat) : bigraph n EmptyNDL n EmptyNDL. 
  Proof. 
  apply (@Big n EmptyNDL n EmptyNDL

--- a/src/Bijections.v
+++ b/src/Bijections.v