Def Multiset.countPAddMonoidHom

Modification history

2025-01-06 23:47

Mathlib/Algebra/Order/Group/Multiset.lean

chore: don't import algebra in `Data.Multiset.Basic` (#19775)

Modified Multiset.countPAddMonoidHom View on Github →

2023-08-23 00:18

Mathlib/Data/Multiset/Basic.lean

chore: bump Std (#6721) …

Added Multiset.countPAddMonoidHom View on Github →