Theorem Tropical.leftInverse_trop

Modification history