Theorem Bimod.TensorBimod.id_tensor_π_actLeft

Modification history