Theorem List.reduceOption_concat_of_some

Modification history