Theorem PiTensorProduct.congr_symm_tprod

Modification history