(quote _,ZZ,Monoid)

1_M -- provides the unit element of a group or monoid M.
topindexpreviousupnext