public interface Ring<R> extends GroupAdditive<R>
R
times(R that)
opposite, plus
copy
R times(R that)
that
this · that