Remix.run Logo
▲ srean 21 hours ago

That's Grothendieck multiplication.