[[!redirects Whitehead's principle]] < [[nlab:Whitehead's principle]] category: redirected to nlab