Theorem Tropical.surjective_trop

Modification history