Theorem Tropical.trop_monotone

Modification history