[[!redirects wedge sum]] [[!redirects Wedge sum]] < [[nlab:wedge sum type]]