Theorem Tropical.untrop_zero

Modification history