How many movies have John Lasseter and Michael Frederickson collaborated on?

They have worked on 1 movie together! Their first movie together was Coco (2017) and was their highest rated movie together. They have not worked together since Coco (2017).