diff options
Diffstat (limited to 'mathcomp/solvable/primitive_action.v')
| -rw-r--r-- | mathcomp/solvable/primitive_action.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/solvable/primitive_action.v b/mathcomp/solvable/primitive_action.v index ae60ce0..c0ab34b 100644 --- a/mathcomp/solvable/primitive_action.v +++ b/mathcomp/solvable/primitive_action.v @@ -187,7 +187,7 @@ End NTransitive. Arguments Scope dtuple_on [_ nat_scope group_scope]. Arguments Scope ntransitive [_ _ nat_scope group_scope group_scope action_scope]. -Implicit Arguments n_act [gT sT n]. +Arguments n_act [gT sT] _ [n]. Notation "n .-dtuple ( S )" := (dtuple_on n S) (at level 8, format "n .-dtuple ( S )") : set_scope. |