Theorem Computable.list_cons

Modification history