All Liouville Numbers are Transcendental. - Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam (Formalized Mathematics, 2017)