interpretation "Finite_enumerable representation" 'repr C i =
(cic:/matita/algebra/finite_groups/repr.con C _ i).*)
-notation < "hvbox(|C|)" with precedence 89
-for @{ 'card $C }.
-
interpretation "Finite_enumerable order" 'card C =
(cic:/matita/algebra/finite_groups/order.con C _).