Theorem Bimod.tensor_comp

Modification history