Theorem List.tail_suffix

Modification history