Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_finset_inf

Modification history

2023-04-30 17:11
src/data/finset/lattice.lean
chore(data/finset/lattice): Move lemmas around (#18900) …
Modified map_finset_infView on Github →
2022-02-22 10:50
src/order/hom/lattice.lean
feat(order/hom/lattice): Finitary join-/meet-preserving maps (#12149) …
Added map_finset_infView on Github →