Theorem PiTensorProduct.piTensorHomMap₂_tprod_tprod_tprod

Modification history