In Camera Corrections

Hello all.
I’m trialling PR3, and using it from Lightroom.
My Sony camera has built-in lens corrections, and after importing into Lightroom the lens corrections area shows that the in-built profile has been applied. That’s fine, but when I then process the image in PR3 should these corrections be removed so that PR3 can use its optic modules? If they are left, does it matter?- or would lens corrections effectively be applied twice?
Thanks

PR doesn’t care about LR profile. But I believe you must disable in LR the profile when processing the DNG file you will get from PR.