Theorem Algebra.TensorProduct.congr_refl

Modification history