mathlib

235a7c46 - doc(lint/simp): typesetting issues in simp_nf library note (#6018)