Theorem le_of_isLUB_Iio

Modification history

2026-01-29 14:55
Mathlib/Order/Bounds/Basic.lean
chore(Order/Bounds/Basic): rename `lub_Iio_le` to `le_of_isLUB_Iio` (#34080) …
Added le_of_isLUB_IioView on Github →