Theorem Computable₂.comp₂

Modification history