theorem :: ABCMIZ_1:84

for C being initialized ConstructorSignature
for T being quasi-type of C
for a, b being quasi-adjective of C holds a ast (b ast T) = b ast (a ast T) by XBOOLE_1:4;