Mathlib Changelog
v4
Changelog
About
Github
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
Modified
Mathlib/Data/List/Basic.lean
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