mathlib

265c587e - doc(meta/converter/interactive): Add tactic documentation for a subset of `conv` tactics (#4144)