[[!redirects strongly extensional function]] < [[nlab:strongly extensional function]] category: redirected to nlab