liouville_constant): develop some API for Liouville (#8005)

Commit

4 years ago

feat(analysis/liouville/liouville_constant): develop some API for Liouville (#8005) Proof of some inequalities for Liouville numbers.

Author

adomani

Parents