Theorem Tropical.untrop_sup

Modification history