Fixed Tropical Type

lemma