[[!redirects smash product]] [[!redirects Smash product]] < [[nlab:smash product type]]