Theorem List.ext_getElem?_iff'

Modification history