Test for CI

math-comp · Jan 22, 2024 · 02d6056 · 02d6056
1 parent b767321
commit 02d6056
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/theories/SymGroup/Bruhat.v b/theories/SymGroup/Bruhat.v
@@ -69,6 +69,8 @@ Reserved Notation "s '<B' t"  (at level 70, t at next level).
 
 #[local] Open Scope Combi_scope.
 
+bla
+
 
 Lemma bounded_le_homo (m n : nat) f :
   (forall i, m <= i < n -> f i <= f i.+1) ->