Theorem List.tails_append

Modification history