mathlib3

5bd649fb - feat(analysis/liouville/liouville_constant): transcendental Liouville numbers exist! (#8020)

feat(analysis/liouville/liouville_constant): transcendental Liouville numbers exist! (#8020) The final (hopefully!) PR in the Liouville series: there are a couple of results and the proof that Liouville numbers are transcendental.