Def Finset.imageMonoidHom

Modification history

2024-02-05 18:00

Mathlib/Data/Finset/Pointwise.lean

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

Modified Finset.imageMonoidHom View on Github →

2023-02-01 10:16

Mathlib/Data/Finset/Pointwise.lean

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

Added Finset.imageMonoidHom View on Github →