mathlib3

9a5b9842 - doc(linear_algebra/clifford_algebra/basic): docstring clarification (#15892)