Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lattice.order_bot.ext_bot

Modification history