Theorem computablePred_iff_computable_decide

Modification history