diff --git a/src/Init/Prelude.lean b/src/Init/Prelude.lean
index 9987e6605a66..773371e861b1 100644
--- a/src/Init/Prelude.lean
+++ b/src/Init/Prelude.lean
@@ -1551,7 +1551,7 @@ instance instAddNat : Add Nat where
 
 /- We mark the following definitions as pattern to make sure they can be used in recursive equations,
    and reduced by the equation Compiler. -/
-attribute [match_pattern] Nat.add Add.add HAdd.hAdd Neg.neg
+attribute [match_pattern] Nat.add Add.add HAdd.hAdd Neg.neg Mul.mul HMul.hMul
 
 set_option bootstrap.genMatcherCode false in
 /--