Theorem Tropical.untrop_mul

Modification history