Typo: sysmpy --> sympy

cclauss · web-flow · commit 1f02990039a0 · 2019-04-04T12:23:26.000+02:00
diff --git a/数理逻辑/codes/mbinary/system_L.py b/数理逻辑/codes/mbinary/system_L.py
@@ -29,9 +29,9 @@
 
 NON = sympy.Symbol('~')
 CONTAIN = sympy.Symbol('>')
-AND = sympy .Symbol('&')
-OR = sysmpy.Symbol('|')
-EQUAL = sysmpy.Symbol('-')
+AND = sympy.Symbol('&')
+OR = sympy.Symbol('|')
+EQUAL = sympy.Symbol('-')
 LEFT = sympy.Symbol('(')
 RIGHT = sympy.Symbol(')')
 
