Theorem List.foldr_fixed

Modification history