Theorem List.reduceOption_singleton

Modification history