mathlib3

b08dc174 - chore(number_theory/dioph): fix docs (#12011)