theorem Th74: :: CLASSES4:74

FinSETS in Tarski-Class omega