Theorem List.reduceOption_map

Modification history