Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lub_Iio_eq_self_or_Iio_eq_Iic

Modification history