[[!redirects wedge sum]] [[!redirects Wedge sum]] < [[nlab:wedge sum type]] category:redirected to nlab