Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inf_covby_of_covby_sup_left

Modification history

2022-07-11 16:51
src/order/modular_lattice.lean
feat(order/modular_lattice): Semimodular lattices (#11602) …
Added inf_covby_of_covby_sup_leftView on Github →