Commit 2024-08-08 20:12 78019567
View on Github →perf(RepresentationTheory.LowDegree): scope simp theorems with weak keys (#15622)
Both of these have HSMul.hSMul _ _ _ _ _ _ as keys so apply to any occurrence of scalar multiplication.
perf(RepresentationTheory.LowDegree): scope simp theorems with weak keys (#15622)
Both of these have HSMul.hSMul _ _ _ _ _ _ as keys so apply to any occurrence of scalar multiplication.