Full trade, per sources:

To Mets: Francisco Lindor and Carlos Carrasco.

To Indians: Amed Rosario, Andrés Giménez, Josh Wolf, Isaiah Greene.

— Ken Rosenthal (@Ken_Rosenthal) January 7, 2021