Jelang Drawing Liga Champions 2022-2023, Ini Sederet Rekor yang Dipegang Cristiano Ronaldo dan Lionel Messi di Fase Grup