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

Commit

4 years ago

feat(meta/expr): monadic analogue of expr.replace (#6661) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents