:: deftheorem defines Polish-arity-from-list POLNOT_1:def 30 :
for T being Polish-language
for B being V107() non exhaustive FinSequence of bool T holds Polish-arity-from-list B = arity-from-list B;