Theorem Tropical.injective_trop

Modification history