Def Finset.imageOneHom

Modification history

2024-02-05 18:00

Mathlib/Data/Finset/Pointwise.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified Finset.imageOneHom View on Github →

2024-01-14 17:10

Mathlib/Data/Finset/Pointwise.lean

feat(Finset/{NAry,Pointwise}): add lemmas about `Finset.sup` etc (#8950)

Modified Finset.imageOneHom View on Github →

2023-02-01 10:16

Mathlib/Data/Finset/Pointwise.lean

feat: Port/Data.Finset.Pointwise (#1911) …

Added Finset.imageOneHom View on Github →