Theorem PiTensorProduct.map₂_tprod_tprod

Modification history