[Merged by Bors] - perf: shortcut instances for Semiring#39719

JovanGerb wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-Semiring-instancesJovanGerb/mathlib4:Jovan-Semiring-instancesCopy head branch name to clipboard