:: deftheorem defines an_Adj ABCMIZ_1:def 14 :
for C being ConstructorSignature holds an_Adj C = an_Adj ;