simplify ax[ax(axb)]dotc

Printable View