[[!redirects graded module]] < [[nlab:graded module]] category: redirected to nlab