Theorem List.foldr_join

Modification history