Theorem List.tail_scanr

Modification history