Theorem List.reduceOption_mem_iff

Modification history