Mathlib v3 is deprecated. Go to Mathlib v4

Theorem no_bot_order.lower_bounds_univ

Modification history