From 42db44ce8df9f24d90c321d57e81e2d5bf83bd48 Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Wed, 29 May 2019 15:17:39 +0300
Subject: Replace eqVneq with eqPsym

Also changed eqsVneq.
---
 mathcomp/solvable/maximal.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/solvable/maximal.v')

diff --git a/mathcomp/solvable/maximal.v b/mathcomp/solvable/maximal.v
index f3d79fc..0dfb4d1 100644
--- a/mathcomp/solvable/maximal.v
+++ b/mathcomp/solvable/maximal.v
@@ -1642,4 +1642,4 @@ Qed.
 
 End SCN.
 
-Arguments SCN_P {gT G A}.
\ No newline at end of file
+Arguments SCN_P {gT G A}.
-- 
cgit v1.2.3