I believe Mike was awarded co-writer credit to that song as part of his lawsuit in the early 90s.
Not according to people like AGD or any of the re-issues after the lawsuit (as far as I know).. Even on Stars & Stripes it only credits it as "Brian Wilson/Roger Christian".