Theorem List.argmin_singleton

Modification history