Mathlib v3 is deprecated. Go to Mathlib v4

Theorem generate_from_Ico_mem_le_borel

Modification history