Theorem List.drop_scanr

Modification history