Theorem List.find?_eq_some_iff_getElem

Modification history