fix(Translate): apply (attr := ...) attributes in order of application time - #42765

fix(Translate): apply (attr := ...) attributes in order of application time#42765

JovanGerb wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-translate-application_timeJovanGerb/mathlib4:Jovan-translate-application_timeCopy head branch name to clipboard