Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Here is one option (not the most elegant):

sage: z1.lhs().simplify() == z1.rhs().simplify()
(-1)^(1/2*n - 1/2)*factorial(n) == 0