Theorem Computable.list_reverse

Modification history