Theorem Algebra.TensorProduct.congr_symm

Modification history