mathlib

d7aada16 - doc(data/list/tfae): Add skeletal docstring (#4220)