theorem Th76: :: COMPUT_1:77

PrimRec = Union PrimRec-Approximation