Theorem Tropical.trop_untrop

Modification history