Any#mex

Todavía no tenemos partidas de esta cuenta, así que no hay con qué compararla.