Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cSup_Ioo

Modification history

2021-04-17 05:06
src/order/conditionally_complete_lattice.lean
feat(order/conditionally_complete_lattice): conditional Inf of intervals (#7226) …
Added cSup_IooView on Github →