Theorem List.reduceOption_get?_iff

Modification history