Theorem List.tail_subset

Modification history