Theorem PiTensorProduct.map_mul

Modification history