Theorem Function.updateFinset_updateFinset

Modification history

2026-02-11 19:24

Mathlib/Data/Finset/Update.lean

feat: some finset lemmas (#13686) …

Modified Function.updateFinset_updateFinset View on Github →

2023-11-07 13:59

Mathlib/Data/Finset/Update.lean

feat: define `updateFinset` which updates a finite number components of a vector (#7341) …

Added Function.updateFinset_updateFinset View on Github →