It doesn’t matter what they’re being put on. I put cinema lenses on Red’s, DSLR’s (5DmkII/t3i back in the day), mirrorless (GH6/BMPCC4K), the works. “Cinema lens” indicates a build type, not what they can mount to. Like the declicked aperture the previous person mentioned.

For instance, Rokinon released a fantastic cinema lens line for consumer/prosumer cameras in the 2010’s, they were rehoused versions of their photo primes. They’re built entirely different.