[[!redirects function extensionality]] < [[nlab:function extensionality]] category: redirected to nlab