(quote _,ZZ,Ring)

1_R -- provides the unit element of a ring R.
0_R -- provides the zero element of a ring R.
topindexpreviousupnext