theorem Th28: :: ABCMIZ_A:28

Constructors = [:{a_Type,an_Adj,a_Term},[:QuasiLoci,NAT:]:]