Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-15 18:15 c358676b

View on Github →

feat(meta/expr): monadic analogue of expr.replace (#6661)

Estimated changes

added def option.melim