Theorem PiTensorProduct.congr_tprod

Modification history