Theorem List.Func.eq_get_of_mem

Modification history