Theorem Algebra.TensorProduct.congr_apply

Modification history