mathlib3

f1d30f6e - doc(data/typevec): Fix broken markdown rendering (#5220)