X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flibrary%2Falgebra%2Ffinite_groups.ma;h=dba8ff89588ce07dd9caacaa0adf77d4fb9c9e2f;hb=ca318d6d92098c3a65c9f0841174ca110c82e064;hp=30408be37d28e7db2cd5047c913bca0087729c3d;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/library/algebra/finite_groups.ma b/matita/matita/library/algebra/finite_groups.ma
index 30408be37..dba8ff895 100644
--- a/matita/matita/library/algebra/finite_groups.ma
+++ b/matita/matita/library/algebra/finite_groups.ma
@@ -41,7 +41,7 @@ record finite_enumerable_SemiGroup : Type≝
 interpretation "Finite_enumerable representation" 'repr S i =
  (repr S (is_finite_enumerable S) i).
 
-notation "hvbox(\iota e)" with precedence 60
+notation "hvbox(\iota e)" with precedence 65
 for @{ 'index_of_finite_enumerable_semigroup $e }.
 
 interpretation "Index_of_finite_enumerable representation"