P
Initializing...
Corollary 4.4: Rec is a closed subset of the regular algebra · Prove2Me