Theorem Multiset.noncommFold_eq_fold

Modification history

2024-02-02 04:48

Mathlib/Data/Finset/NoncommProd.lean

chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)

Modified Multiset.noncommFold_eq_fold View on Github →

2023-01-19 17:27

Mathlib/Data/Finset/NoncommProd.lean

feat: port Data.Finset.NoncommProd (#1681)

Added Multiset.noncommFold_eq_fold View on Github →