Theorem List.foldr_cons

Modification history