diff options
Diffstat (limited to 'mathcomp/fingroup')
| -rw-r--r-- | mathcomp/fingroup/perm.v | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/mathcomp/fingroup/perm.v b/mathcomp/fingroup/perm.v index 34f230e..eb5e028 100644 --- a/mathcomp/fingroup/perm.v +++ b/mathcomp/fingroup/perm.v @@ -576,7 +576,3 @@ Qed. End LiftPerm. Prenex Implicits lift_perm lift_permK. - -Notation tuple_perm_eqP := - (deprecate tuple_perm_eqP tuple_permP) (only parsing). - |