Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
finset.map_inf
Modification history
2021-05-04 02:29
src/data/finset/lattice.lean
feat(data/finset/lattice): add sup_image (#7428) …
Deleted
finset.map_inf
View on Github →
2021-03-09 21:43
src/data/finset/lattice.lean
feat(data/finset/lattice): map_sup, map_inf (#6601)
Added
finset.map_inf
View on Github →