mathlib

d74a8989 - fix(meta/expr): fix mreplace (#7912)

fix(meta/expr): fix mreplace (#7912) Previously the function would not recurse into macros (like `have`). Also add warning to docstring.