AffineArithQ.v 59.3 KB