Theorem List.foldr_ext

Modification history