Theorem Algebra.TensorProduct.basis_repr_symm_apply'

Modification history