Theorem Tropical.untrop_trop

Modification history