Theorem Tropical.surjective_untrop

Modification history