mathlib

bf46986e - doc(tactic/auto_cases): fix typo (#5784)