Theorem Finset.trop_inf

Modification history