theorem Th144: :: ABCMIZ_1:144

for C being initialized ConstructorSignature
for f being valuation of C
for A being Subset of (QuasiAdjs C)
for a being quasi-adjective of C st A = {a} holds
A at f = {(a at f)}