We copied this from the pybind11/eigen.h header. If we need it, we can always re-add it.
Attach a file by drag & drop or click to upload