Theorem PiTensorProduct.map_one

Modification history