mathlib

db4531fa - doc(data/qpf/multivariate/constructions/cofix): fix doc typos (#14609)