Is there a builtin for getting the columns of a matrix? It feels like the kind of thing that would exist but I can't find it

wouldn't that just be one of the zips/transposes

Oh yeah 🤦‍♂️

∩ is what you're looking for

Yeah