Theorem Algebra.TensorProduct.tmul_one_eq_one_tmul

Modification history