Theorem List.reduceOption_append

Modification history