help with defining a relation ~ on Z_p

Printable View