Theorem Algebra.TensorProduct.basis_repr_symm_apply

Modification history