theorem Th75: :: COMPUT_1:76

Union PrimRec-Approximation is primitive-recursively_closed