mathlib

b15c213a - chore(*): replace uses of `---` delimiter in tactic docs (#2372)

chore(*): replace uses of `---` delimiter in tactic docs (#2372) * update abel doc string the tactic doc entry seems completely fine as the doc string, I don't know why these were separated * replace uses of --- in docs Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>