Mathlib v3 is deprecated. Go to Mathlib v4

Theorem covby_sup_of_inf_covby_right

Modification history

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