Theorem Bimod.TensorBimod.actRight_one'

Modification history