:: deftheorem dq defines quadratic REALALG2:def 5 :
for R being Ring
for f being non empty FinSequence of R holds
( f is quadratic iff for i being Element of dom f holds f . i is square );