First time here? Check out the FAQ!
answered 2024-04-17 02:43:22 +0100
assume(z1!=0) will do the job.
assume(z1!=0)