Commit 2021-06-03 21:36 ac54aaa5

View on Github →

add Mem notation for lists (#12)

  • add Mem notation for lists
  • delete comment

Estimated changes

added theorem List.join_cons
added theorem List.join_nil
added theorem List.map_cons
added theorem List.map_nil
modified theorem List.mem_bind
added theorem List.mem_cons
modified theorem List.mem_map
added theorem List.mem_nil