Commit 2023-01-09 05:10 612e42c2

View on Github →

chore: fix some names in Data.List.Basic (#1421)

Estimated changes

added theorem List.foldlRecOn_nil
deleted theorem List.foldl_rec_on_nil
added theorem List.foldrRecOn_cons
added theorem List.foldrRecOn_nil
deleted theorem List.foldr_rec_on_cons
deleted theorem List.foldr_rec_on_nil