Theorem List.length_scanr

Modification history