Theorem Computable.equiv₂

Modification history