mathlib3

9cb72061 - doc(representation_theory/basic): add docstring to dual_tensor_hom_comm (#18661)