Theorem Algebra.TensorProduct.cancelBaseChange_symm_tmul

Modification history