Theorem List.argmax_singleton

Modification history