On uniform definability of types over finite sets for NIP formulas. - Shlomo Eshel; Itay Kaplan (J. Math. Log., 2021)