Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

equality with integer exponents

n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )

reply: False

Why?

Big thangs

equality with integer exponents

n = var("n",domain = ZZ) assume(n>0) bool(3^(2*n) == (3^2)^n )

reply: False

Why?

Big thangs