Mathlib v3 is deprecated. Go to Mathlib v4

Theorem iterated_lipschitz_of_lipschitz

Modification history