The question is, should we bring our other cat (4M) with us to the vet to be with her when she is put down?

I know that cats can grieve just as much as we do. Would it be better for him to be there, too, or should we spare him that one?