mathlib3

725efb18 - doc(tactic/rewrite): Add an example for assoc_rw (#5799)