Theorem List.find?_ofFn_eq_some_of_injective

Modification history