Theorem Tropical.trop_mul_def

Modification history