Theorem Function.pred_update

Modification history

2023-11-07 13:59

Mathlib/Logic/Function/Basic.lean

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

Added Function.pred_update View on Github →