theorem Th12: :: LTLAXIO4:12

comp ({} LTLB_WFF) = {[(<*> LTLB_WFF),(<*> LTLB_WFF)]}