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.





leanprover-community/mathlib,leanprover-community/mathlib