Theorem Computable.option_map

Modification history