Theorem List.reduceOption_concat

Modification history