 fix(doc/extra/tactic_writing): rename mul_left (#902) [ci skip]
 fix(doc/extra/tactic_writing): rename mul_left (#902) [ci skip]

*  fix(doc/extra/tactic_writing): rename mul_left

* one more fix

leanprover-community/mathlib,leanprover-community/mathlib