Theorem List.scanr_append

Modification history