Tooltip-namespace association
De Seminario de Lógica Computacional (2018)
Marca esta casilla para incluir también el espacio de nombres de discusión asociado con el espacio de nombres seleccionado
Marca esta casilla para incluir también el espacio de nombres de discusión asociado con el espacio de nombres seleccionado