Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-07 10:17 26bd400b

View on Github →

feat(data/list): lemmas about count and bag_inter (#797)

Estimated changes

Modified src/data/finset.lean

added theorem multiset.to_finset_inter

Modified src/data/list/basic.lean

added theorem list.bag_inter_nil_iff_inter_nil

added theorem list.count_bag_inter

added theorem list.count_erase_of_ne

added theorem list.count_erase_self

modified theorem list.mem_bag_inter

Modified src/data/multiset.lean

added theorem multiset.coe_inter