Theorem Tropical.trop_coe_ne_zero

Modification history