Theorem Multiset.nsmul_cons

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

2023-01-13 09:59

Mathlib/Data/Multiset/Basic.lean

feat: port Data.Multiset.Basic (#1491)

Added Multiset.nsmul_cons View on Github →