Theorem List.trop_minimum

Modification history