[[!redirects Thierry Coquand]] < [[nlab:Thierry Coquand]] category: redirected to nlab