Theorem List.reduceOption_getElem?_iff

Modification history