Theorem trop_iInf

Modification history