Mathlib v3 is deprecated. Go to Mathlib v4

Def list.replace_if

Modification history

2022-07-18 17:22
src/data/list/defs.lean
feat(tactic/congrm): add "function underscores" to `congrm` (#14532) …
Added list.replace_ifView on Github →