Theorem Finset.sup'_inf_distrib_left

Modification history

2024-03-14 10:04
Mathlib/Data/Finset/Lattice.lean
chore: replace `λ` by `fun` (#11301) …
Modified Finset.sup'_inf_distrib_leftView on Github →
2023-09-09 21:45
Mathlib/Data/Finset/Lattice.lean
feat: More `Finset.sup'` lemmas (#7021) …
Added Finset.sup'_inf_distrib_leftView on Github →