Theorem List.nextOr_eq_nextOr_of_mem_of_ne

Modification history