Theorem Bimod.tensor_id

Modification history