diff options
Diffstat (limited to 'mathcomp/solvable/sylow.v')
| -rw-r--r-- | mathcomp/solvable/sylow.v | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/mathcomp/solvable/sylow.v b/mathcomp/solvable/sylow.v index dd45afa..f940ec9 100644 --- a/mathcomp/solvable/sylow.v +++ b/mathcomp/solvable/sylow.v @@ -535,8 +535,7 @@ Qed. End Zgroups. -Arguments Zgroup _ _%g. -Prenex Implicits Zgroup. +Arguments Zgroup {_} _%g. Section NilPGroups. |