Theorem Tropical.trop_add

Modification history