Theorem Computable.to₂

Modification history