Theorem Multiset.fold_hom

Modification history

2024-02-02 04:48

Mathlib/Data/Multiset/Fold.lean

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

Modified Multiset.fold_hom View on Github →

2023-01-13 17:57

Mathlib/Data/Multiset/Fold.lean

feat: port Data.Multiset.Fold (#1548)

Added Multiset.fold_hom View on Github →