Theorem Multiset.mem_nsmul_of_ne_zero

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.mem_nsmul_of_ne_zero View on Github →

2024-07-29 07:19

Mathlib/Data/Multiset/Basic.lean

feat: The multinomial theorem in terms of `piAntidiag` (#14998) …

Added Multiset.mem_nsmul_of_ne_zero View on Github →