theorem Th11: :: LTLAXIO4:11

{[(<*> LTLB_WFF),(<*> LTLB_WFF)]} ^ = {(TVERUM '&&' TVERUM)}