Theorem Computable.comp₂

Modification history