A Conjecture of Coleman on the Eisenstein Family - Bryan W. Advocaat; Ian Kiming; Gabor Wiese (2022)