theorem :: ABCMIZ_A:41

( adjs set-type = {} & the_base_of set-type = (@ set-constr) term ) ;