Mathlib v3 is deprecated. Go to Mathlib v4

Theorem adic_completion.eval_comp_of

Modification history