Theorem Bimod.TensorBimod.π_tensor_id_actRight

Modification history