Theorem List.nextOr_concat

Modification history