Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lattice.inf_le_inf_left

Modification history

2020-03-19 15:12
src/order/lattice.lean
refactor(*): drop `lattice` namespace (#2166) …
Deleted lattice.inf_le_inf_leftView on Github →
2020-03-12 04:06
src/order/lattice.lean
feat(topology): is_closed_proj_of_compact (#2069) …
Added lattice.inf_le_inf_leftView on Github →