Def PiTensorProduct.map₂

Modification history