Theorem Finset.fold_ite

Modification history

2024-02-02 04:48

Mathlib/Data/Finset/Fold.lean

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

Modified Finset.fold_ite View on Github →

2023-01-16 13:32

Mathlib/Data/Finset/Fold.lean

feat: port Data.Finset.Fold (#1588)

Added Finset.fold_ite View on Github →