Theorem Bimod.TensorBimod.one_act_left'

Modification history