Mathlib v3 is deprecated. Go to Mathlib v4

Theorem liouville.liouville_number_rat_initial_terms

Modification history