perf: add some fast_instance%#39773

kbuzzard wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kbuzzard:kbuzzard-more-fast-instancekbuzzard/mathlib4:kbuzzard-more-fast-instanceCopy head branch name to clipboard