Theorem List.foldr_rec_on_nil

Modification history