Is it illegal to have different tyres on the same axle?

Hello, I’ve just bought a used 2023 MINI Cooper S from a MINI dealer. I’ve noticed that there are three Michelin Pilot Sport 4 tyres and one KPATOS on the off side rear. Michelin suggest that this could...