[[!redirects Whitehead product]] < [[nlab:Whitehead product]] category:redirected to nlab