Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cInf_Ioc

Modification history

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