[Merged by Bors] - feat: set pp.mvars.anonymous false for MathlibTest#42016

thorimur wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

thorimur:mathlibtest-optionsthorimur/mathlib4:mathlibtest-optionsCopy head branch name to clipboard