:: deftheorem defines Op-WXOR AESCIP_1:def 9 :
for n, m being non zero Element of NAT
for s, t, b₅ being Element of m -tuples_on (n -tuples_on BOOLEAN) holds
( b₅ = Op-WXOR (s,t) iff for i being Element of Seg m holds b₅ . i = Op-XOR ((s . i),(t . i)) );